From 680e2ddc6abcebb3f7d39581d616950b85b33bca Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 3 Jun 2008 03:25:57 +0000 Subject: [PATCH] +RTS -S- is the same as +RTS -Sstderr --- rts/RtsFlags.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 4f69f49..186ded3 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -2335,7 +2335,7 @@ open_stats_file ( { FILE *f = NULL; - if (strequal(rts_argv[arg]+2, "stderr")) { /* use debugBelch */ + if (strequal(rts_argv[arg]+2, "stderr") || strequal(rts_argv[arg]+2, "-")) { f = NULL; /* NULL means use debugBelch */ } else { if (rts_argv[arg][2] != '\0') { /* stats file specified */ -- 1.7.10.4