Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 8c97ee7b0cbd7af6ac923a33e23f36a01868ba93)
+++ tools/prettyprinter/Makefile.in	(revision 955d27e996e9ecc4ecaf618a2eb36f76d284237b)
@@ -350,7 +350,7 @@
 	  esac; \
 	done; \
-	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu tools/prettyprinter/Makefile'; \
+	echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign tools/prettyprinter/Makefile'; \
 	$(am__cd) $(top_srcdir) && \
-	  $(AUTOMAKE) --gnu tools/prettyprinter/Makefile
+	  $(AUTOMAKE) --foreign tools/prettyprinter/Makefile
 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
 	@case '$?' in \