Index: src/prelude/Makefile.in
===================================================================
--- src/prelude/Makefile.in	(revision 50697b0c1a5a7ab4634decc93217223196c5ccfe)
+++ src/prelude/Makefile.in	(revision 1997b4e812dbb8458b745e5395a203821f48882c)
@@ -162,4 +162,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 = @CFACC@
 CCAS = @CCAS@