diff options
| author | coqbot-app[bot] | 2021-04-19 18:46:31 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-19 18:46:31 +0000 |
| commit | c3d7754ec2045a964974698821adb73c586b4e41 (patch) | |
| tree | 565b534873506a685c7dc46780b95d6dc291a35f /Makefile.checker | |
| parent | d89f5c935af6e6055691b9980c7dfdfa481b6c4f (diff) | |
| parent | 819e8a4f84bc6798b4e890090fb74a3f02626d6b (diff) | |
Merge PR #14068: [build] Remove leftovers of code signing / OSX IDE infrastructure
Reviewed-by: Zimmi48
Ack-by: jfehrle
Diffstat (limited to 'Makefile.checker')
| -rw-r--r-- | Makefile.checker | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.checker b/Makefile.checker index ad296e0e88..320b03fea7 100644 --- a/Makefile.checker +++ b/Makefile.checker @@ -38,9 +38,8 @@ ifeq ($(BEST),opt) $(CHICKEN): config/config.cmxa clib/clib.cmxa lib/lib.cmxa kernel/kernel.cmxa \ checker/check.cmxa $(LIBCOQRUN) checker/coqchk.mli checker/coqchk.ml $(SHOW)'OCAMLOPT -o $@' - $(HIDE)$(OCAMLOPT) -linkpkg $(SYSMOD) $(CHKLIBS) $(OPTFLAGS) $(LINKMETADATA) -o $@ $^ + $(HIDE)$(OCAMLOPT) -linkpkg $(SYSMOD) $(CHKLIBS) $(OPTFLAGS) -o $@ $^ $(STRIP_HIDE) $@ - $(CODESIGN_HIDE) $@ else $(CHICKEN): $(CHICKENBYTE) rm -f $@ && cp $< $@ |