add a run parameter for DEBUG

laszewsk · Sep 29, 2023 · 1b0c2c1 · 1b0c2c1
1 parent 3a8c6e2
commit 1b0c2c1
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/benchmarks/cloudmask/target/greene_v0.5/reproduce_experiments.sh b/benchmarks/cloudmask/target/greene_v0.5/reproduce_experiments.sh
@@ -1,8 +1,14 @@
 #!/bin/bash
 #
 
-
-RUN=0
+ Check if a parameter is provided
+if [ $# -eq 0 ]; then
+    # If no parameter is provided, set it to 1
+    RUN=1
+else
+    # Use the provided parameter
+    RUN="$1"
+fi
 
 # ####################################
 # Runtime Variable