diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 10:46:18 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 17:48:50 +0200 |
| commit | a410de733817ff337cfae1e305cb0283ccebecb1 (patch) | |
| tree | c796acc24d9effc80fd1702595165a764c94d972 /Makefile | |
| parent | bcfd854d7a6e012ac6bf116487a59a0f997725ee (diff) | |
Configure.ml creates metadata to annotate MacOS binaries
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -239,7 +239,7 @@ cacheclean: find theories plugins test-suite -name '.*.aux' -delete cleanconfig: - rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-v7 + rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-v7 config/Info-*.plist distclean: clean cleanconfig cacheclean |