diff options
| author | Daniel Watkins <daniel@daniel-watkins.co.uk> | 2017-08-29 12:23:11 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-09-06 12:56:26 +0900 |
| commit | 74f1bd912be9a6c72a2fe23a3a336dec66f29d83 (patch) | |
| tree | 5be125b42fb2065f3acf7bce153a472da4110bc1 | |
| parent | edc74bc7f0c6884027e851ef09b2e0c9380dcd45 (diff) | |
| download | git-dw/diff-highlight-makefile-fix.tar.gz | |
diff-highlight: add clean target to Makefiledw/diff-highlight-makefile-fix
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 |