Document shell flags in make_preloaded.sh.

lsst · Oct 8, 2024 · 59a65bc · 59a65bc
1 parent 7c77992
commit 59a65bc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/make_preloaded.sh b/scripts/make_preloaded.sh
@@ -1,7 +1,9 @@
 #!/usr/bin/bash
 # Run this file to recreate preloaded into a fresh state.
 
+# Abort script on any error
 set -e
+# Echo all commands
 set -x
 
 SCRIPT_DIR="$( dirname -- "${BASH_SOURCE[0]}" )"