chiark / gitweb /
use -O3
[moebius2.git] / minimise.c
index 333520942268a44ab95fe3947b991d73c8e89ff1..430517f6fd80dfc16a32c43437d4fdaff106a864 100644 (file)
@@ -139,7 +139,7 @@ int main(int argc, const char *const *argv) {
   for (;;) {
     if (quit_requested) {
       fprintf(stderr,"SIGINT caught.\n");
-      break;
+      exit(1);
     }
 
     GA( gsl_multimin_fminimizer_iterate(minimiser) );