diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 4c1f739e89..e8aefd8fce 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -684,18 +684,7 @@ error = rtsTrue; } else if (strequal("info", &rts_argv[arg][2])) { - char *s; - printf("RTS info:\n"); - printf("RTS from GHC " ProjectVersion "\n"); - printf("RTS way " RtsWay "\n"); - printf("Host platform " HostPlatform "\n"); - printf("Build platform " BuildPlatform "\n"); - printf("Target platform " TargetPlatform "\n"); - s = strcmp(GhcUnregisterised, "YES") == 0 ? "un" : ""; - printf("Compiler is %sregisterised\n", s); - s = strcmp(GhcEnableTablesNextToCode, "YES") == 0 - ? "" : "not "; - printf("Tables are %snext to code\n", s); + printRtsInfo(); exit(0); } else { |