diff options
Diffstat (limited to 'BUILD/FINISH.sh')
| -rw-r--r-- | BUILD/FINISH.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 089ff19a7be..decfe5021b4 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -14,7 +14,8 @@ fi $make $AM_MAKEFLAGS if [ "x$strip" = "xyes" ]; then - nm --numeric-sort sql/mysqld > mysqld.sym - objdump -d sql/mysqld > mysqld.S + mkdir -p tmp + nm --numeric-sort sql/mysqld > tmp/mysqld.sym + objdump -d sql/mysqld > tmp/mysqld.S strip sql/mysqld fi |