Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 8c97ee7b0cbd7af6ac923a33e23f36a01868ba93)
+++ tools/prettyprinter/Makefile.in	(revision f3c17371d46f1b32ef02e76b36b88a71b5627031)
@@ -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 \