Index: src/driver/cfa.cc
===================================================================
--- src/driver/cfa.cc	(revision ed0e67af84f24e07df5e60055abed88b8c7c24e4)
+++ src/driver/cfa.cc	(revision d9b499c283968b82e25f4c4e76dea9c6e8bda5d9)
@@ -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