Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 0c1b5660b6f5a0957c905780ecc5883a812e52a7)
+++ tools/prettyprinter/Makefile.in	(revision f8b69da714038baa1174cd4bf59e8889ef5225bc)
@@ -242,4 +242,5 @@
 EXEEXT = @EXEEXT@
 GREP = @GREP@
+HOST_FLAGS = @HOST_FLAGS@
 INSTALL = @INSTALL@
 INSTALL_DATA = @INSTALL_DATA@