X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=3fc689fc6cba6d8c348e584d818768359c3a695a;hb=refs%2Fheads%2Fpxd;hp=aea415d15e2276b37c70b7b36e6480e693011341;hpb=ac68295023b2145ca2cb5357f9f7115a9f591169;p=pspp

diff --git a/Makefile.am b/Makefile.am
index aea415d15e..3fc689fc6c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -11,6 +11,8 @@ AM_CPPFLAGS = \
 	-I$(top_builddir)/gl \
 	-DINSTALLDIR=\"$(bindir)\"
 
+AM_V_P ?= :
+
 AM_CFLAGS=
 
 if cc_is_gcc