Make sure to not overwrite when its already set

casparvl · Mar 12, 2024 · f88cf17 · f88cf17
1 parent d36a0de
commit f88cf17
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/CI/surf_snellius/ci_config.sh b/CI/surf_snellius/ci_config.sh
@@ -1,2 +1,4 @@
 # Configurable items
-REFRAME_ARGS="--tag CI --tag 1_node|2_nodes"
+if [ -z "${REFRAME_ARGS}" ]; then
+    REFRAME_ARGS="--tag CI --tag 1_node|2_nodes"
+fi