diff --git a/configure b/configure index 085ed7a..0d80ea4 100755 --- a/configure +++ b/configure @@ -5,6 +5,8 @@ # as well as both LDFLAGS and LDFLAGS_CMDLINE, however # the latter variable of each pair should be preferred. +set -eu + usage() { cat "$mb_project_dir"/config.usage