diff options
| -rw-r--r-- | BUILD/FINISH.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 5358667b881..2c2b4925c3d 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -13,11 +13,11 @@ commands="\ $make -k clean || true /bin/rm -f */.deps/*.P config.cache innobase/config.cache bdb/build_unix/config.cache -if [ ! aclocal ] ; then echo \"Can't execute aclocal\" ; exit 1; fi -if [ ! autoheader ] ; then echo \"Can't execute autoheader\" ; exit 1; fi -if [ ! aclocal ] ; then echo \"Can't execute aclocal\" ; exit 1; fi -if [ ! automake ] ; then echo \"Can't execute automake\" ; exit 1; fi -if [ ! autoconf ] ; then echo \"Can't execute autoconf\" ; exit 1; fi +aclocal || (echo \"Can't execute aclocal\" && exit 1) +autoheader || (echo \"Can't execute autoheader\" && exit 1) +aclocal || (echo \"Can't execute aclocal\" && exit 1) +automake || (echo \"Can't execute automake\" && exit 1) +autoconf || (echo \"Can't execute autoconf\" && exit 1) (cd bdb/dist && sh s_all) (cd innobase && aclocal && autoheader && aclocal && automake && autoconf) if [ -d gemini ] |