[llvm-commits] [test-suite] r110963 - /test-suite/trunk/MultiSource/Applications/minisat/Main.cpp

[Evan Cheng]

Author: evancheng
Date: Thu Aug 12 17:25:24 2010
New Revision: 110963

URL: http://llvm.org/viewvc/llvm-project?rev=110963&view=rev
Log:
Remove signal handler as well.

Modified:
    test-suite/trunk/MultiSource/Applications/minisat/Main.cpp

Modified: test-suite/trunk/MultiSource/Applications/minisat/Main.cpp
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Applications/minisat/Main.cpp?rev=110963&r1=110962&r2=110963&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/minisat/Main.cpp (original)
+++ test-suite/trunk/MultiSource/Applications/minisat/Main.cpp Thu Aug 12 17:25:24 2010
@@ -201,12 +201,6 @@
 }
 
 Solver* solver;
-static void SIGINT_handler(int signum) {
-    reportf("\n"); reportf("*** INTERRUPTED ***\n");
-    printStats(*solver);
-    reportf("\n"); reportf("*** INTERRUPTED ***\n");
-    exit(1); }
-
 
 //=================================================================================================
 // Main: