From 819e8a4f84bc6798b4e890090fb74a3f02626d6b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 4 Apr 2021 15:17:37 +0200
Subject: [build] Remove leftovers of codesigning / OSX IDe infrastructure.

This is not used anymore, and after #14122 the makefile parts for the
dmg generation are not used anymore.

Closes #7476 .
---
 Makefile.checker | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile.checker')

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 $< $@
-- 
cgit v1.2.3