ocaml 3.09 transition

[helm.git] / helm / matita / scripts / insert.awk

diff --git a/helm/matita/scripts/insert.awk b/helm/matita/scripts/insert.awk
index e38f341edb0a3122f09b2f5ad48077d768e138a4..d62a6a3ecdc2aef395833e1a6a04dc068c017288 100644 (file)
--- a/helm/matita/scripts/insert.awk
+++ b/helm/matita/scripts/insert.awk
@@ -1,12 +1,12 @@
  {
        result=tolower($3);
-       if( $1 ~ "\.opt$" )
+       if( $1 ~ ".opt$" )
                compilation="opt"
        else
                compilation="byte"
        test=$2 
-       time="0:" $4
-       timeuser="0:0:" $5
+       time=$4
+       timeuser=$5
        mark=$7
        if ( $8 ~ "^gc-off$") 
                options="'gc-off'";