on SIGINT, do not exit 0

diff --git a/minimise.c b/minimise.c
index 333520942268a44ab95fe3947b991d73c8e89ff1..430517f6fd80dfc16a32c43437d4fdaff106a864 100644 (file)
--- a/minimise.c
+++ b/minimise.c
@@ -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) );