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

[Owen Anderson]

Author: resistor
Date: Thu Aug 12 17:22:53 2010
New Revision: 110960

URL: http://llvm.org/viewvc/llvm-project?rev=110960&view=rev
Log:
Remove dependence on signal() to improve portability.

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=110960&r1=110959&r2=110960&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/minisat/Main.cpp (original)
+++ test-suite/trunk/MultiSource/Applications/minisat/Main.cpp Thu Aug 12 17:22:53 2010
@@ -22,7 +22,6 @@
 #include <stdint.h>
 #include <errno.h>
 
-#include <signal.h>
 #include <stdio.h>
 
 #include "Solver.h"
@@ -298,8 +297,6 @@
     double cpu_time = cpuTime();
 
     solver = &S;
-    signal(SIGINT,SIGINT_handler);
-    signal(SIGHUP,SIGINT_handler);
 
     if (argc == 1)
         reportf("Reading from standard input... Use '-h' or '--help' for help.\n");