X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flibpspp%2Fautomake.mk;h=d9786900de900644079e89108942be7f4281f2c1;hb=8cd2dcd874841a5a7a64a42f76ee9d1fae5718ad;hp=afbc34b0fe827213d8e24cf512e1d408a00c85d7;hpb=9683d7528884fcb3c60705812de9f96889536388;p=pspp

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index afbc34b0fe..d9786900de 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -44,6 +44,8 @@ src_libpspp_libpspp_a_SOURCES = \
 	src/libpspp/misc.h \
 	src/libpspp/pool.c \
 	src/libpspp/pool.h \
+	src/libpspp/syntax-gen.c \
+	src/libpspp/syntax-gen.h \
 	src/libpspp/message.c \
 	src/libpspp/message.h \
 	src/libpspp/start-date.c \
@@ -61,7 +63,7 @@ src_libpspp_libpspp_a_CPPFLAGS = -I $(top_srcdir)/src/libpspp $(AM_CPPFLAGS)
 nodist_src_libpspp_libpspp_a_SOURCES = src/libpspp/version.c
 
 src/libpspp/version.c: $(top_srcdir)/AUTHORS
-	@$(top_srcdir)/mkinstalldirs  src/libpspp
+	@$(MKDIR_P) src/libpspp
 	echo "/* 	-*- mode: c; buffer-read-only: t -*-" > $@
 	echo "   Generated by src/libpspp/automake.mk --- Do not edit. */">> $@
 	echo "#include \"version.h\"" >> $@