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