diff options
author | Andy Wingo <wingo@pobox.com> | 2002-02-10 15:12:25 +0000 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2002-02-10 15:12:25 +0000 |
commit | 5f4c7c12aac2e352d19d7f06552fc15c5f6bc6c5 (patch) | |
tree | d59ed287484243afc42eb053e079a1740f7bf7ac /autogen.sh | |
parent | dc32d0b86bfb48ad6ac0c078ecbce924c0bb720f (diff) |
fix mad check, add defaut options properly
Original commit message from CVS:
fix mad check, add defaut options properly
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -84,7 +84,7 @@ test ! -z "$CONFIGURE_DEF_OPT" && echo " ./configure default flags: $CONFIGURE_ test ! -z "$CONFIGURE_EXT_OPT" && echo " ./configure external flags: $CONFIGURE_EXT_OPT" echo -./configure $CONFIGURE_OPT $CONFIGURE_EXT_OPT || { +./configure $CONFIGURE_DEF_OPT $CONFIGURE_EXT_OPT || { echo " configure failed" exit 1 } |