diff options
Diffstat (limited to 'scripts')
| -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 ca48cd02..306a7cda 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -101,7 +101,7 @@ genbuildsh() echo '$BUILD $FILES $LINK' } -if ! cmp -s <(genbuildsh | head -n 6 ; echo LINK="'"$LDOPTIMIZE $LDFLAGS) \ +if ! cmp -s <(genbuildsh 2>/dev/null | head -n 6 ; echo LINK="'"$LDOPTIMIZE $LDFLAGS) \ <(head -n 7 generated/build.sh 2>/dev/null | sed '7s/ -o .*//') then echo -n "Library probe" |