Index: driver/Makefile.in
===================================================================
--- driver/Makefile.in	(revision 1ee048fdd73812ee6ad00b56a313fa0bb424b4a7)
+++ driver/Makefile.in	(revision d65f92c77f5cc157071fd474ca2ad557b54f447b)
@@ -231,4 +231,5 @@
 FGREP = @FGREP@
 GREP = @GREP@
+HAS_DISTCC = @HAS_DISTCC@
 HOST_FLAGS = @HOST_FLAGS@
 INSTALL = @INSTALL@