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