diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-07-27 14:28:15 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-07-27 14:28:15 +0200 |
commit | aff5a1aaeb9b50c60ff32b7d5336a44fd18428ee (patch) | |
tree | 39d21c9798b9ce7fb59892414f71fb60be61bcde /Makefile.build | |
parent | 05f22a5d6d5b8e3e80f1a37321708ce401834430 (diff) | |
parent | cb145fa37d463210832c437f013231c9f028e1aa (diff) |
Merge branch 'v8.5'
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 6650427e6..842399efd 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 |