diff options
| author | Maxime Dénès | 2015-06-24 16:45:01 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-06-24 16:45:01 +0200 |
| commit | 42893bd092c4a63174c97995b4fb561daf4de273 (patch) | |
| tree | c76fb1343a7af4abf405fe8a4116051625b4891f | |
| parent | 987117e3daba31cb669b563723c8af276380f5ab (diff) | |
More silent Makefile when looking for codesign.
May still be wrong on Windows, though.
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 41220792d5..92c0d46f24 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 > /dev/null && echo $(ARCH)),Darwin) +ifeq ($(shell which codesign 2>&1 > /dev/null && echo $(ARCH)),Darwin) LINKMETADATA=-ccopt "-sectcreate __TEXT __info_plist config/Info-$(notdir $@).plist" CODESIGN:=codesign -s - else |