1 files changed, 3 insertions, 0 deletions

diff --git a/src/rt_launch.c b/src/rt_launch.c
index 7098e73..d888365 100644
--- a/src/rt_launch.c
+++ b/src/rt_launch.c
@@ -3,6 +3,7 @@
 #include <string.h>
 #include <unistd.h>
 #include <limits.h>
+#include <signal.h>
 
 #include "litmus.h"
 #include "adaptive.h"
@@ -111,6 +112,8 @@ int main(int argc, char** argv)
                 }
         }
 
+        signal(SIGUSR1, SIG_IGN);
+
         if (!adaptive) {
                 if (argc - optind < 3)
                         usage("Arguments missing.");