Additional parameter in make.sh to allow testing of HDF models.

diff --git a/make.sh b/make.sh
index df47b7a47e7eef5134a1a1702d2c1f16ead873a6..49d78c1f49a41d9d2aec9bc930821cf47f23b364 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -21,6 +21,10 @@ while [[ $# > 0 ]]; do
       ADD_COMPATIBILITY_TESTS=TRUE
       shift
       ;;
+    hdf|test-hdf-models)
+      ADD_HDF_TESTS=TRUE
+      shift
+      ;;
     *)
       shift
       ;;