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