diff options
Diffstat (limited to 'bootstrap/files/strip-sh')
| -rwxr-xr-x | bootstrap/files/strip-sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/bootstrap/files/strip-sh b/bootstrap/files/strip-sh deleted file mode 100755 index a737466080c..00000000000 --- a/bootstrap/files/strip-sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/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 |