Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision df8b87cd9365d6524523f96a72d7c7b83f13b735)
+++ tools/prettyprinter/Makefile.in	(revision 2cb85774652a99e1536ff8147b91a35ff2a0f2c3)
@@ -267,4 +267,5 @@
 FGREP = @FGREP@
 GREP = @GREP@
+HAS_DISTCC = @HAS_DISTCC@
 HOST_FLAGS = @HOST_FLAGS@
 INSTALL = @INSTALL@