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 | ca6ce59de6130b636d23232e8d914e2420b62dc1 (patch) | |
tree | 405a430a02f4949b02692b7f7031ef05935257cd /autogen.sh | |
parent | 4723597a5bf06017a8a50fa6237e4d54ad3777ae (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 } |