diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-24 06:46:43 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-24 06:46:43 +0200 |
| commit | 0674a3535c8861ab608ad0bc57506b83cda8a158 (patch) | |
| tree | d9271f3bba3fa86f9ddc84ca813e9f1fac673c51 | |
| parent | 420bcb45b110172ced81830fedcb72cee46c038a (diff) | |
| download | ghdl-0674a3535c8861ab608ad0bc57506b83cda8a158.tar.gz ghdl-0674a3535c8861ab608ad0bc57506b83cda8a158.tar.bz2 ghdl-0674a3535c8861ab608ad0bc57506b83cda8a158.zip | |
configure: fails if 'make' failed.
| -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 |