Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision d65f92c77f5cc157071fd474ca2ad557b54f447b)
+++ tools/prettyprinter/Makefile.in	(revision 846c026c176ce0693b7dc5e3cb2cc03da4e5ccaa)
@@ -237,4 +237,5 @@
 CCDEPMODE = @CCDEPMODE@
 CFACC = @CFACC@
+CFACC_INSTALL = @CFACC_INSTALL@
 CFACPP = @CFACPP@
 CFA_BACKEND_CC = @CFA_BACKEND_CC@