diff options
Diffstat (limited to 'rts/RtsFlags.c')
-rw-r--r-- | rts/RtsFlags.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 3e3290dd3d..650c4f9a04 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -1147,12 +1147,6 @@ error = rtsTrue; errorBelch("Using large values for -N is not allowed by default. Link with -rtsopts to allow full control."); stg_exit(EXIT_FAILURE); } -#if defined(PROFILING) - if (nNodes > 1) { - errorBelch("bad option %s: only -N1 is supported with profiling", rts_argv[arg]); - error = rtsTrue; - } -#endif RtsFlags.ParFlags.nNodes = (nat)nNodes; } ) break; |