diff options
Diffstat (limited to 'lang/ghc/files/patch-ghc-rts-RtsFlags.c')
-rw-r--r-- | lang/ghc/files/patch-ghc-rts-RtsFlags.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lang/ghc/files/patch-ghc-rts-RtsFlags.c b/lang/ghc/files/patch-ghc-rts-RtsFlags.c deleted file mode 100644 index abd3496f68f2..000000000000 --- a/lang/ghc/files/patch-ghc-rts-RtsFlags.c +++ /dev/null @@ -1,12 +0,0 @@ ---- 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; - } |