X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=0dc9e17797f0382406f93265f09607ce40a4eb5f;hb=893b3352084289b2cf22d71adfb682b23e2a3899;hp=908885e669f63a42818ecd377e2f6cc7fd51853f;hpb=9a626036211e61388a4d255051e1774d01bbe072;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 908885e669..0dc9e17797 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -158,11 +158,11 @@ distfiles: Makefile
 	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t" \
 	  | LC_ALL=C sort -u > $@
 CLEANFILES += distfiles gitfiles missing-distfiles
-PHONY += dist-hook-git dummy-prerequisistes
+PHONY += dist-hook-git dummy-prerequisites
 
--include dummy-prerequisistes
+-include dummy-prerequisites
 
-dummy-prerequisistes: $(BUILT_SOURCES) gl/libgl.la
+dummy-prerequisites: $(BUILT_SOURCES) gl/libgl.la