X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=b2df75983bc26238fcade0ebe42400803dc6787b;hb=33cdbdf7e095370cf04240eed21344205a487191;hp=59834123ac4bbbefe737d28fbdb8a59be38e5d5a;hpb=31d82a2be4506259512ee4ed075eadb76750139f;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 59834123ac..b2df75983b 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -154,4 +154,4 @@ distfiles: Makefile
 	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t" \
 	  | LC_ALL=C sort -u > $@
 CLEANFILES += distfiles gitfiles missing-distfiles
-.PHONY: dist-hook-git
+PHONY += dist-hook-git