X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=6fca4b1c29699b2bd77cb74fe4b416a7b0d9ac9e;hb=b40553085a85914b85d32c483faf185ad6b39589;hp=4f9bc660a080089f478aac5d2755e0d05875ece2;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;p=pspp-builds.git

diff --git a/Makefile.am b/Makefile.am
index 4f9bc660..6fca4b1c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -87,3 +87,6 @@ uninstall-hook: $(UNINSTALL_DATA_HOOKS)
 
 clean-local: $(CLEAN_LOCAL)
 all-local: $(ALL_LOCAL)
+
+# A convenience target to build all the binaries
+programs: $(PROGRAMS)