Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision 50697b0c1a5a7ab4634decc93217223196c5ccfe)
+++ tools/Makefile.in	(revision 944a90f3e4e922c52dac54751e8c9b2705a97fb0)
@@ -186,4 +186,6 @@
 AWK = @AWK@
 BACKEND_CC = @BACKEND_CC@
+BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
+BUILD_IN_TREE_FLAGS_NOLIB = @BUILD_IN_TREE_FLAGS_NOLIB@
 CC = @BACKEND_CC@
 CCAS = @CCAS@
Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 50697b0c1a5a7ab4634decc93217223196c5ccfe)
+++ tools/prettyprinter/Makefile.in	(revision 944a90f3e4e922c52dac54751e8c9b2705a97fb0)
@@ -210,4 +210,6 @@
 AWK = @AWK@
 BACKEND_CC = @BACKEND_CC@
+BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
+BUILD_IN_TREE_FLAGS_NOLIB = @BUILD_IN_TREE_FLAGS_NOLIB@
 CC = @CC@
 CCAS = @CCAS@