X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=0022e1d70c4f785268868e2bc72455c8302e452b;hb=4801628dacf8914686f4114db56cbd84fdc672c9;hp=02ae7d5b2129e882d72e65559bf81c9d7d3ad5fd;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 02ae7d5b21..0022e1d70c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -34,6 +34,7 @@ EXTRA_DIST = OChangeLog ONEWS config.rpath pspp-mode.el
 CLEANFILES = 
 CLEAN_LOCAL =
 ALL_LOCAL =
+CHECK_LOCAL =
 ACLOCAL_AMFLAGS = -I m4 -I gl/m4
 noinst_LIBRARIES=
 noinst_LTLIBRARIES=
@@ -86,6 +87,7 @@ uninstall-hook: $(UNINSTALL_DATA_HOOKS)
 
 clean-local: $(CLEAN_LOCAL)
 all-local: $(ALL_LOCAL)
+check-local: $(CHECK_LOCAL)
 
 # A convenience target to build all the binaries
 programs: $(PROGRAMS)