]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/scripts/insert.awk
...
[helm.git] / helm / matita / scripts / insert.awk
1  {
2         result=tolower($3);
3         if( $1 ~ ".opt$" )
4                 compilation="opt"
5         else
6                 compilation="byte"
7         test=$2 
8         time=$4
9         timeuser=$5
10         mark=$7
11         if ( $8 ~ "^gc-off$") 
12                 options="'gc-off'";
13         if ( $8 ~ "^gc-on$") 
14                 options="'gc-on'"
15                 
16         printf "INSERT bench (result, compilation, test, time, timeuser, mark, options) VALUES ('%s', '%s', '%s', '%s', '%s', '%s', %s);\n", result, compilation, test, time, timeuser, mark, options;
17         }