diff --git a/tools/setup_tools.sh b/tools/setup_tools.sh
index 34068c4363faae785e11260b951a01e22dcc2944..5b5c42b5bb132f5a2d078eb882941cd52a0bcdd4 100755
--- a/tools/setup_tools.sh
+++ b/tools/setup_tools.sh
@@ -14,6 +14,8 @@
 # See the MulanPSL - 2.0 for more details.
 #
 
+set -e
+
 if [ ! -f ../bin/ast2mpl ]; then
   cd ../bin/ast2mpl_files
   cat ast2mpl_aa ast2mpl_ab ast2mpl_ac ast2mpl_ad > ast2mpl.gz