fix error message on Windows (fixes rtsflags001)
authorSimon Marlow <marlowsd@gmail.com>
Wed, 2 Dec 2009 14:11:35 +0000 (14:11 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 2 Dec 2009 14:11:35 +0000 (14:11 +0000)
rts/RtsFlags.c

index 19954f8..12121e8 100644 (file)
@@ -1299,8 +1299,9 @@ decodeSize(const char *flag, nat offset, StgWord64 min, StgWord64 max)
     val = (StgWord64)m;
 
     if (m < 0 || val < min || val > max) {
-        errorBelch("error in RTS option %s: size outside allowed range (%" FMT_Word64 " - %" FMT_Word64 ")", 
-                   flag, min, max);
+        // printf doesn't like 64-bit format specs on Windows
+        // apparently, so fall back to unsigned long.
+        errorBelch("error in RTS option %s: size outside allowed range (%lu - %lu)", flag, (lnat)min, (lnat)max);
         stg_exit(EXIT_FAILURE);
     }