diff options
Diffstat (limited to 'scripts/make.sh')
-rwxr-xr-x | scripts/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index ec908ce1..538ba121 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -339,7 +339,7 @@ do_loudly $BUILD $LNKFILES $LINK || exit 1 if [ ! -z "$NOSTRIP" ] || ! do_loudly ${CROSS_COMPILE}${STRIP} "$UNSTRIPPED" -o "$OUTNAME" then - echo "strip failed, using unstripped" && + [ -z "$NOSTRIP" ] && echo "strip failed, using unstripped" rm -f "$OUTNAME" && cp "$UNSTRIPPED" "$OUTNAME" || exit 1 |