From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 3 Jun 2008 03:25:57 +0000 (+0000)
Subject: +RTS -S- is the same as +RTS -Sstderr
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=680e2ddc6abcebb3f7d39581d616950b85b33bca

+RTS -S- is the same as +RTS -Sstderr
---

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 */