Index: src/driver/cc1.cc
===================================================================
--- src/driver/cc1.cc	(revision eb0951d0cd306bfecdc590fa7b0b243eb3ed1853)
+++ src/driver/cc1.cc	(revision b3c36f41fb2d199b6fa2a40962f5aafe79f7ceeb)
@@ -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 ) {