aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason Gross2015-07-22 15:02:30 -0700
committerGuillaume Melquiond2015-07-23 07:11:24 +0200
commit4456b5edc3e2e62624e5251ff1e01dd81fabb29b (patch)
tree4957752da1fd1f7a9e237ca662e014851e0e4d84
parent92dfc77c7496297e094e2d39790a205d548b31da (diff)
Silence `which`
On Fedora, `which 2>&1 >/dev/null` doesn't silence stderr, while `which >/dev/null 2>&1` does.
-rw-r--r--Makefile.build2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build
index 404f176ab4..83cdd506e3 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -101,7 +101,7 @@ BYTEFLAGS=-thread $(CAMLDEBUG) $(USERFLAGS)
OPTFLAGS=-thread $(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS)
DEPFLAGS= $(LOCALINCLUDES) -I ide -I ide/utils
-ifeq ($(shell which codesign 2>&1 > /dev/null && echo $(ARCH)),Darwin)
+ifeq ($(shell which codesign > /dev/null 2>&1 && echo $(ARCH)),Darwin)
LINKMETADATA=-ccopt "-sectcreate __TEXT __info_plist config/Info-$(notdir $@).plist"
CODESIGN:=codesign -s -
else