diff --git a/scripts/make_preloaded.sh b/scripts/make_preloaded.sh index cf93695..0abcbfb 100755 --- 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]}" )"