Commit 680e2ddc authored by Simon Marlow's avatar Simon Marlow
Browse files

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

parent b5929f6f
......@@ -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 */
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment