aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure
index c6e64b88e..65b010b49 100755
--- a/configure
+++ b/configure
@@ -360,7 +360,10 @@ if ! sh ./config.status; then
fi
# Create dirs
-$MAKE create-dirs
+if ! $MAKE create-dirs; then
+ echo "$progname: cannot execute $MAKE create-dirs"
+ exit 1
+fi
# Generate ortho_code-x86-flags
if test $backend = mcode; then