From ff102d3d9424b2042d4f64d55eb6a9c249dcacfc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Jun 2013 10:36:55 +0200
Subject: [PATCH] Fix non-standard use of the date command.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reported by Étienne Renault.

* bench/spin13/run.sh: Here.
---
 bench/spin13/run.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bench/spin13/run.sh b/bench/spin13/run.sh
index 402ac32b2..4cc123186 100755
--- a/bench/spin13/run.sh
+++ b/bench/spin13/run.sh
@@ -195,7 +195,7 @@ EOF
 
    cat >>run.mk <<EOF
 ${prefix}sum.tex: $presults
-	../ltl2tgba/sum.py --intro "Version: $v; Date: `date -I`; Host: $h." \\
+	../ltl2tgba/sum.py --intro "Version: $v; Date: `date +%Y-%m-%d`; Host: $h." \\
 	$presults >${prefix}sum.tex
 
 EOF
@@ -207,7 +207,7 @@ EOF
     all="$all ${prefix}sum.pdf ${prefix}sum.tex $results $csv $log $html"
 done
 
-arch=`date -I`.tar.xz
+arch=`date +%Y-%m-%d`.tar.xz
 cat >>run.mk <<EOF
 _all: $arch