Improved build script

sveinbjornt · Sep 19, 2023 · a9caaf3 · a9caaf3
1 parent 05aef4d
commit a9caaf3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/build.sh b/build.sh
@@ -1,4 +1,8 @@
 #!/bin/bash
+#
+# Build the database and add placename data
+
+set -o errexit   # Exit when a command fails
 
 python build_db.py
 python add_placename_data.py