diff options
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 e63a578e37..e020ffc5be 100644 --- a/Makefile.make +++ b/Makefile.make @@ -275,7 +275,7 @@ depclean: find . $(FIND_SKIP_DIRS) '(' -name '*.d' ')' -exec rm -f {} + cacheclean: - find theories plugins test-suite -name '.*.aux' -exec rm -f {} + + find theories test-suite -name '.*.aux' -exec rm -f {} + cleanconfig: rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist |