diff options
-rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |