diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 8ee81c2..25f7527 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -46,4 +46,9 @@ clean: -$(MAKE) -C ext/http11 clean $(RM) ext/http11/Makefile lib/http11.$(DLEXT) -.PHONY: $(T) $(slow_tests) +Manifest: + git ls-files > $@+ + cmp $@+ $@ || mv $@+ $@ + $(RM) -f $@+ + +.PHONY: $(T) $(slow_tests) Manifest |