diff options
Diffstat (limited to 'lang/ghc5/files/extra-patch-ghc-rts-RtsFlags.c')
| -rw-r--r-- | lang/ghc5/files/extra-patch-ghc-rts-RtsFlags.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lang/ghc5/files/extra-patch-ghc-rts-RtsFlags.c b/lang/ghc5/files/extra-patch-ghc-rts-RtsFlags.c new file mode 100644 index 000000000000..abd3496f68f2 --- /dev/null +++ b/lang/ghc5/files/extra-patch-ghc-rts-RtsFlags.c @@ -0,0 +1,12 @@ +--- ghc/rts/RtsFlags.c.orig Thu Dec 11 15:13:07 2003 ++++ ghc/rts/RtsFlags.c Thu Dec 11 15:13:17 2003 +@@ -1383,8 +1383,7 @@ + } else if (RtsFlags.GranFlags.proc > MAX_PROC || + RtsFlags.GranFlags.proc < 1) + { +- fprintf(stderr,"setupRtsFlags: no more than %u processors +-allowed\n", ++ fprintf(stderr,"setupRtsFlags: no more than %u processors allowed\n", + MAX_PROC); + *error = rtsTrue; + } |