X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=c475469d0907852ca286595b54c2613e1c18fa1d;hb=2a2a3e2baf0037a51be3dc5dfe8517d7ca6abc00;hp=aea415d15e2276b37c70b7b36e6480e693011341;hpb=ac68295023b2145ca2cb5357f9f7115a9f591169;p=pspp

diff --git a/Makefile.am b/Makefile.am
index aea415d15e..c475469d09 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
@@ -72,7 +74,6 @@ include $(top_srcdir)/doc/automake.mk
 include $(top_srcdir)/examples/automake.mk
 include $(top_srcdir)/src/automake.mk
 include $(top_srcdir)/utilities/automake.mk
-
 include $(top_srcdir)/tests/automake.mk
 
 if WITH_GUI_TOOLS