diff options
| -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 23edc195..6b853840 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -18,7 +18,7 @@ UNSTRIPPED="generated/unstripped/$(basename "$OUTNAME")" if [ -z "$SED" ] then - [ ! -z "$(which gsed)" ] && SED=gsed || SED=sed + [ ! -z "$(which gsed 2>/dev/null)" ] && SED=gsed || SED=sed fi # Respond to V= by echoing command lines as well as running them |