diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/make.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index 32e0825c..ca48cd02 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -101,8 +101,8 @@ genbuildsh() echo '$BUILD $FILES $LINK' } -if ! cmp -s <(genbuildsh | head -n 7) \ - <(head -n 7 generated/build.sh 2>/dev/null) +if ! cmp -s <(genbuildsh | head -n 6 ; echo LINK="'"$LDOPTIMIZE $LDFLAGS) \ + <(head -n 7 generated/build.sh 2>/dev/null | sed '7s/ -o .*//') then echo -n "Library probe" |