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 | 467f740b946cfd1f467ee3f8083eb812ac3ec482 (patch) | |
| tree | aba2caf5d7d6f0abe88495280cc4e4e296f4317e /maintMakefile | |
| parent | cac9f77c965c5f3064a990f516f9b7975aff131f (diff) | |
| download | make-467f740b946cfd1f467ee3f8083eb812ac3ec482.tar.gz | |
Fix clean rules.
Diffstat (limited to 'maintMakefile')
| -rw-r--r-- | maintMakefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/maintMakefile b/maintMakefile index a8578978..a4fb2f14 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 # ---------------------------------------------------------------------- |