diff --git a/make_db b/make_db index 7be6f3ee0fce7e3bad9238fdd5e2317a3d9535b9..8593cc8efc4ec7eefe83ae7168a27b03981b986b 100755 --- a/make_db +++ b/make_db @@ -23,6 +23,7 @@ # ** end header # To fail fast, but beware https://mywiki.wooledge.org/BashFAQ/105 +echo "this is make_db" set -e function fail() {