diff options
author | Daniel Watkins <daniel@daniel-watkins.co.uk> | 2017-08-29 14:23:11 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-09-06 06:56:26 +0300 |
commit | 74f1bd912be9a6c72a2fe23a3a336dec66f29d83 (patch) | |
tree | 5be125b42fb2065f3acf7bce153a472da4110bc1 | |
parent | edc74bc7f0c6884027e851ef09b2e0c9380dcd45 (diff) |
diff-highlight: add clean target to Makefile
Now that `make` produces a file, we should have a clean target to remove
it.
Signed-off-by: Daniel Watkins <daniel@daniel-watkins.co.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | contrib/diff-highlight/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/diff-highlight/Makefile b/contrib/diff-highlight/Makefile index fbf5c58249..f2be7cc924 100644 --- a/contrib/diff-highlight/Makefile +++ b/contrib/diff-highlight/Makefile @@ -17,4 +17,7 @@ shebang.perl: FORCE test: all $(MAKE) -C t +clean: + $(RM) diff-highlight + .PHONY: FORCE |