diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/rt_launch.c | 3 |
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 @@ | |||
| 3 | #include <string.h> | 3 | #include <string.h> |
| 4 | #include <unistd.h> | 4 | #include <unistd.h> |
| 5 | #include <limits.h> | 5 | #include <limits.h> |
| 6 | #include <signal.h> | ||
| 6 | 7 | ||
| 7 | #include "litmus.h" | 8 | #include "litmus.h" |
| 8 | #include "adaptive.h" | 9 | #include "adaptive.h" |
| @@ -111,6 +112,8 @@ int main(int argc, char** argv) | |||
| 111 | } | 112 | } |
| 112 | } | 113 | } |
| 113 | 114 | ||
| 115 | signal(SIGUSR1, SIG_IGN); | ||
| 116 | |||
| 114 | if (!adaptive) { | 117 | if (!adaptive) { |
| 115 | if (argc - optind < 3) | 118 | if (argc - optind < 3) |
| 116 | usage("Arguments missing."); | 119 | usage("Arguments missing."); |