From 8c3362e9ceb1d699f5944e66fde5c562dc5e0215 Mon Sep 17 00:00:00 2001
From: Aaron Madlon-Kay <aaron@madlon-kay.com>
Date: Sat, 22 Nov 2014 23:44:52 +0900
Subject: [PATCH] Use portable way of getting modified time

---
 genver.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/genver.sh b/genver.sh
index 3a10334..4d6e76a 100755
--- a/genver.sh
+++ b/genver.sh
@@ -21,7 +21,7 @@ if ! `(git status | grep -q "On branch") 2> /dev/null`; then
             # zip file with all files dated from the last
             # change: use the Makefile's modification time as a
             # release number
-            release=head-`stat -c "%y" Makefile | sed 's/ .*//'`
+            release=head-`perl -MPOSIX -e 'print strftime "%Y-%m-%d",localtime((stat "Makefile")[9])'`
         fi
 fi