examples/demo.sh: add missing -f for init stage

tum-ei-eda · Sep 27, 2024 · 3ee14de · 3ee14de
1 parent d95abad
commit 3ee14de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/demo.sh b/examples/demo.sh
@@ -64,7 +64,7 @@ fi
 
 seal5 --verbose --dir ${SEAL5_HOME} reset  --settings
 seal5 --verbose --dir ${SEAL5_HOME} clean --temp --patches --models --inputs
-seal5 --verbose --dir ${SEAL5_HOME} init $INTERACTIVE_ARGS -c --clone-depth $CLONE_DEPTH $PROGRESS_ARGS
+seal5 --verbose --dir ${SEAL5_HOME} init $INTERACTIVE_ARGS -c --clone-depth $CLONE_DEPTH $PROGRESS_ARGS -f
 seal5 --verbose load --files ${Example_files}
 seal5 --verbose load --files ${Config_files[@]}
 seal5 --verbose setup $PROGRESS_ARGS