In +RTS --info output, use YES rather than Yes
authorIan Lynagh <igloo@earth.li>
Fri, 27 Feb 2009 01:02:30 +0000 (01:02 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 27 Feb 2009 01:02:30 +0000 (01:02 +0000)
rts/RtsUtils.c

index 4d78bcb..4d3724d 100644 (file)
@@ -481,7 +481,7 @@ static void mkRtsInfoPair(char *key, char *val) {
 void printRtsInfo(void) {
     /* The first entry is just a hack to make it easy to get the
      * commas right */
-    printf(" [(\"GHC RTS\", \"Yes\")\n");
+    printf(" [(\"GHC RTS\", \"YES\")\n");
     mkRtsInfoPair("GHC version",             ProjectVersion);
     mkRtsInfoPair("RTS way",                 RtsWay);
     mkRtsInfoPair("Host platform",           HostPlatform);