[project @ 1999-11-23 12:19:20 by simonmar]

Use %Z instead of %z for timezone (%z is GNU extension to strftime)

diff --git a/ghc/lib/std/cbits/showTime.c b/ghc/lib/std/cbits/showTime.c
index 8026a03..3e16699 100644 (file)
--- a/ghc/lib/std/cbits/showTime.c
+++ b/ghc/lib/std/cbits/showTime.c
@@ -1,7 +1,7 @@
 /* 
  * (c) The GRASP/AQUA Project, Glasgow University, 1994-1998
  *
- * $Id: showTime.c,v 1.6 1999/09/30 16:20:14 sof Exp $
+ * $Id: showTime.c,v 1.7 1999/11/23 12:19:20 simonmar Exp $
  *
  * ClockTime.showsPrec Runtime Support
  */
@@ -41,7 +41,7 @@ showTime(I_ size, StgByteArray d, I_ maxsize, StgByteArray buf)
            return (-1);
        }
     tm = localtime(&t);
-    if (tm != NULL && strftime(buf, maxsize, "%a %b %d %H:%M:%S %z %Y", tm) > 0) {
+    if (tm != NULL && strftime(buf, maxsize, "%a %b %d %H:%M:%S %Z %Y", tm) > 0) {
        return 1;
     } else {
        return (-1);