New format for benches (with much more precision).

[helm.git] / helm / matita / scripts / profile_cvs.sh

diff --git a/helm/matita/scripts/profile_cvs.sh b/helm/matita/scripts/profile_cvs.sh
index dc6c5215b91fd2edf4fdae74bf98e3a2409352aa..8f55fcdd8f722aa5f53fdca227f364ae5fb37013 100755 (executable)
--- a/helm/matita/scripts/profile_cvs.sh
+++ b/helm/matita/scripts/profile_cvs.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-MARK=`date +%Y%m%d`
+MARK=`date +%Y%m%d%H%M`
 TMPDIRNAME=.__$MARK
 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"