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 1119ed9d..72d53709 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -368,7 +368,7 @@ done do_loudly $BUILD $LNKFILES $LINK || exit 1 if [ ! -z "$NOSTRIP" ] || - ! do_loudly ${CROSS_COMPILE}strip "$UNSTRIPPED" -o "$OUTNAME" + ! do_loudly ${CROSS_COMPILE}${STRIP} "$UNSTRIPPED" -o "$OUTNAME" then echo "strip failed, using unstripped" && cp "$UNSTRIPPED" "$OUTNAME" || exit 1 |