diff options
Diffstat (limited to 'BUILD/FINISH.sh')
| -rw-r--r-- | BUILD/FINISH.sh | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 9745233e5d1..6ee8b27e472 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -7,17 +7,8 @@ commands="\ $make -k distclean || true /bin/rm -rf */.deps/*.P config.cache storage/innobase/config.cache storage/bdb/build_unix/config.cache bdb/dist/autom4te.cache autom4te.cache innobase/autom4te.cache; -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 storage/bdb/dist && sh s_all) -(cd storage/innobase && aclocal && autoheader && aclocal && automake && autoconf) -if [ -d gemini ] -then - (cd gemini && aclocal && autoheader && aclocal && automake && autoconf) -fi" +path=`dirname $0` +. \"$path/autorun.sh\"" if [ -z "$just_clean" ] then |