diff options
| author | Emilio Jesus Gallego Arias | 2021-04-04 15:17:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2021-04-19 13:44:08 +0200 |
| commit | 819e8a4f84bc6798b4e890090fb74a3f02626d6b (patch) | |
| tree | b4b0ef52d1dddee6464f5c8ff0f62d4516f3b0d1 /Makefile.make | |
| parent | b53642ec813178fedd3e646832e7c033b8163f52 (diff) | |
[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 .
Diffstat (limited to 'Makefile.make')
| -rw-r--r-- | Makefile.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.make b/Makefile.make index 9f0e06dffc..dc123820ee 100644 --- a/Makefile.make +++ b/Makefile.make @@ -277,7 +277,7 @@ cacheclean: find theories user-contrib test-suite -name '.*.aux' -exec rm -f {} + cleanconfig: - rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist + rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq distclean: clean cleanconfig cacheclean timingclean |