diff --git a/tools/setup_tools.sh b/tools/setup_tools.sh
index 34068c4363faae785e11260b951a01e22dcc2944..4d23ccd8e547be56f615db80a01bb0df10d88590 100755
--- a/tools/setup_tools.sh
+++ b/tools/setup_tools.sh
@@ -14,6 +14,7 @@
 # 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