Index: src/driver/cc1.cc
===================================================================
--- src/driver/cc1.cc	(revision f8b6d921dc9ca65448f121a5c1a5d7ba45f464a6)
+++ src/driver/cc1.cc	(revision b1e63ac54a1b3b3705d130858c9772e8b84c867f)
@@ -84,5 +84,5 @@
 
 
-void sigTermHandler( int signal ) {
+void sigTermHandler( __attribute__((unused)) int signal ) {
 	if ( tmpfilefd != -1 ) {							// RACE, file created ?
 		rmtmpfile();									// remove
@@ -469,5 +469,5 @@
 
 
-int main( const int argc, const char * const argv[], const char * const env[] ) {
+int main( const int argc, const char * const argv[], __attribute__((unused)) const char * const env[] ) {
 #ifdef __DEBUG_H__
 	for ( int i = 0; env[i] != NULL; i += 1 ) {