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