diff options
| author | Paul Smith <psmith@gnu.org> | 2013-01-12 21:53:15 -0500 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-01-12 21:53:15 -0500 |
| commit | 5a5a1aff6aeff6df69ecda81b40deebed89b718a (patch) | |
| tree | aba2caf5d7d6f0abe88495280cc4e4e296f4317e | |
| parent | 002702c89c77479cb1d950f28a32691d0bdcc309 (diff) | |
| download | make-5a5a1aff6aeff6df69ecda81b40deebed89b718a.tar.gz | |
Fix clean rules.
| -rw-r--r-- | maintMakefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/maintMakefile b/maintMakefile index a857897..a4fb2f1 100644 --- a/maintMakefile +++ b/maintMakefile @@ -87,12 +87,14 @@ DEP_FILES := $(wildcard $(DEPDIR)/*.Po) GIT := git -# This rule cleans out the tree right down to how it looks when you do a -# vanilla Git checkout. It depends on correct .gitignore file content. +# git-clean: Clean all "ignored" files. Leave untracked files. +# git-very-clean: Clean all files that aren't stored in source control. -.PHONY: git-clean +.PHONY: git-clean git-very-clean git-clean: -$(GIT) clean -fdX +git-very-clean: git-clean + -$(GIT) clean -fd # ---------------------------------------------------------------------- |