@@ -1,6 +1,8 @@
 #! /bin/bash
+
+set -e
 
 ourdir="$(dirname "$(which "$0")")"
 cd "${outdir}" || exit 1
 
 make -C certs/dod distclean all