diff options
Diffstat (limited to 'bootstrap/files/strip-sh')
-rwxr-xr-x | bootstrap/files/strip-sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/bootstrap/files/strip-sh b/bootstrap/files/strip-sh new file mode 100755 index 00000000000..a737466080c --- /dev/null +++ b/bootstrap/files/strip-sh @@ -0,0 +1,26 @@ +#!/bin/sh +# +# On AIX, strip complains too much if the file is not +# writable, or if it's already stripped. +# +for f in "$@" ; do + if ! /usr/bin/file "$f" | grep -q "not stripped" ; then + # Skip the file if it's already stripped + continue + fi + nowrite=0 + if [ ! -w "$f" ] ; then + # Make sure it's writable. + nowrite=1 + chmod +w "$f" + fi + /usr/bin/strip "$f" + ret=$? + if [ $nowrite -eq 1 ] ; then + chmod -w "$f" + fi + if [ $ret -ne 0 ] ; then + exit $ret + fi +done +exit 0 |