diff options
Diffstat (limited to 'BUILD/FINISH.sh')
| -rw-r--r-- | BUILD/FINISH.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 625802f78cb..02deb67bd25 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -8,5 +8,13 @@ done CFLAGS="$cflags" CXX=gcc CXXFLAGS="$cxxflags" eval "$configure" -test "$make" = no || $make $AM_MAKEFLAGS -test -z "$strip" || strip mysqld +if [ "x$do_make" = "xno" ] ; then + exit 0 +fi + +$make $AM_MAKEFLAGS +if [ "x$strip" = "xyes" ]; then + nm --numeric-sort sql/mysqld > mysqld.sym + objdump -d sql/mysqld > mysqld.S + strip sql/mysqld +fi |