Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 47c1928b39e141cf752717688b57df8b99a499d7)
+++ tools/prettyprinter/Makefile.in	(revision ef346f7cc43b1b67ca3fa5de124271b9c9ac2453)
@@ -210,5 +210,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@