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

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index 4f69f49..186ded3 100644 (file)
--- 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 */