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