Use portable way of getting modified time

2014-12-27 19:49:51 +01:00 · 2014-12-27 19:49:51 +01:00 · 0458c9840b
parent bb4aeb446a 8c3362e9ce
commit 0458c9840b
1 changed files with 1 additions and 1 deletions
--- 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