}
else if (strequal("info",
&rts_argv[arg][2])) {
- 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");
+ printRtsInfo();
exit(0);
}
else {