Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision c59712ef719214c06c49604e482d89f51c7745d4)
+++ tools/prettyprinter/Makefile.in	(revision ff1e0f38b2bf523763024876e746508c1928685e)
@@ -211,5 +211,4 @@
 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@