diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/make.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index ef0a7050..a1fdb343 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -336,8 +336,10 @@ do_loudly $BUILD $LNKFILES $LINK || exit 1 if [ ! -z "$NOSTRIP" ] || ! do_loudly ${CROSS_COMPILE}${STRIP} "$UNSTRIPPED" -o "$OUTNAME" then - echo "strip failed, using unstripped" && cp "$UNSTRIPPED" "$OUTNAME" || - exit 1 + echo "strip failed, using unstripped" && + rm -f "$OUTNAME" && + cp "$UNSTRIPPED" "$OUTNAME" || + exit 1 fi # gcc 4.4's strip command is buggy, and doesn't set the executable bit on |