X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=6fca4b1c29699b2bd77cb74fe4b416a7b0d9ac9e;hb=d75cdc824bc5170aeaaa76154f22f5c042d5944d;hp=4f9bc660a080089f478aac5d2755e0d05875ece2;hpb=2c81ed67896a7d3522c4ccdaf09e832491efd589;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)