diff options
| -rw-r--r-- | rts/RtsFlags.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 4eac4622dd..2e11399aab 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -949,9 +949,14 @@ error = true; if (rts_argv[arg][6] == '=') { mask = (StgWord)strtol(rts_argv[arg]+7, (char **) NULL, 10); - } else { + } else if (rts_argv[arg][6] == '\0'){ mask = (StgWord)~0; + } else { + errorBelch("%s: unknown flag", rts_argv[arg]); + error = true; + break; } + if (!osNumaAvailable()) { errorBelch("%s: OS reports NUMA is not available", rts_argv[arg]); |