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