X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=7f4d474f6bf6dcea223f92ae33b747698df791ac;hb=b779cc2fe07d6e8e66aad413e4644e8e124c65ff;hp=3086358ffe4fdf294fc6763c378efca4bb124bac;hpb=ac68295023b2145ca2cb5357f9f7115a9f591169;p=pspp

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 3086358ffe..7f4d474f6b 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -335,7 +335,7 @@ PHONY += yelp-check
 AM_CPPFLAGS += -Isrc
 
 src/ui/gui/pspp.desktop: src/ui/gui/gen-dot-desktop.sh $(POFILES)
-	POFILES="$(POFILES)" top_builddir="$(top_builddir)" $(SHELL) $< > $@
+	$(AM_V_GEN)POFILES="$(POFILES)" top_builddir="$(top_builddir)" $(SHELL) $< > $@
 
 CLEANFILES+=src/ui/gui/pspp.desktop