QTfrontend/main.cpp
changeset 8385 9e8924ff9813
parent 8355 df0ea4323295
child 8405 becac012d502
--- a/QTfrontend/main.cpp	Mon Jan 14 13:28:03 2013 +0100
+++ b/QTfrontend/main.cpp	Mon Jan 14 21:17:42 2013 +0400
@@ -92,6 +92,8 @@
 #ifndef _WIN32
 void terminateFrontend(int signal)
 {
+    Q_UNUSED(signal);
+
     QCoreApplication::exit(0);
 }
 #endif