Index: src/driver/cfa.cc
===================================================================
--- src/driver/cfa.cc	(revision ed0e67af84f24e07df5e60055abed88b8c7c24e4)
+++ src/driver/cfa.cc	(revision 3f869f0ffd7b467d53412bd6d1ddf2097487e768)
@@ -88,4 +88,5 @@
 	bool std_flag = false;								// -std= flag
 	bool debugging = false;								// -g flag
+	(void) debugging;								// remove unused variable warning
 
 	const char *args[argc + 100];						// cfa command line values, plus some space for additional flags