Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision 50697b0c1a5a7ab4634decc93217223196c5ccfe)
+++ tools/Makefile.in	(revision ac3362c49d6542b7d8c8fb775ea7b0215120bdbd)
@@ -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 ac3362c49d6542b7d8c8fb775ea7b0215120bdbd)
@@ -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@