diff options
| author | glondu | 2008-09-07 22:28:04 +0000 |
|---|---|---|
| committer | glondu | 2008-09-07 22:28:04 +0000 |
| commit | bd7f800d5fc48dcb7bfae475e796f6e18901fbcb (patch) | |
| tree | e186f4a82d0b9d5c9e4d7260a78e7bb8f148e399 | |
| parent | 307d2e286444dc6430e23c599778b768134cbf97 (diff) | |
Commit fixes from v8.2 branch (r11386 and r11387)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11390 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -24,14 +24,14 @@ # by Emacs' next-error. ########################################################################### -FIND_VCS_CLAUSE:='(' \ +export FIND_VCS_CLAUSE:='(' \ -name '{arch}' -or \ -name '.svn' -or \ -name '_darcs' -or \ -name '.git' -or \ -name 'debian' -or \ -name "$${GIT_DIR}" \ -')' -prune -or +')' -prune -type f -or FIND_PRINTF_P:=-print | sed 's|^\./||' export YACCFILES:=$(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.mly' ')' $(FIND_PRINTF_P)) @@ -155,7 +155,7 @@ cruftclean: ml4clean indepclean: rm -f $(GENFILES) - rm -f $(COQTOPBYTE) $(COQCBYTE) $(CHICKENBYTE) + rm -f $(COQTOPBYTE) $(COQMKTOPBYTE) $(COQCBYTE) $(CHICKENBYTE) rm -f bin/coq-interface$(EXE) bin/coq-parser$(EXE) find . -name '*~' -or -name '*.cm[ioa]' | xargs rm -f find contrib test-suite -name '*.vo' -or -name '*.glob' | xargs rm -f @@ -203,7 +203,7 @@ ml4depclean: find . -name '*.ml4.d' | xargs rm -f depclean: - find . -name '*.d' | xargs rm -f + find . $(FIND_VCS_CLAUSE) -name '*.d' | xargs rm -f cleanconfig: rm -f config/Makefile config/coq_config.ml dev/ocamldebug-v7 ide/undo.mli |