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