helm/matita/scripts/insert.awk

   1
   2
   3 /^[^#]/ {
   4         result=tolower($1);
   5         if( $2 ~ "\.opt$" )
   6                 compilation="opt"
   7         else
   8                 compilation="byte"
   9         test=$3
  10         time="0:" $4
  11         mark=$7
  12         if ( $8 ~ "^GC=off$")
  13                 options="'no-gc'"
  14         else
  15                 options="''"
  16
  17         printf "INSERT bench (result, compilation, test, time, mark, options) VALUES ('%s', '%s', '%s', '%s', '%s', %s);\n", result, compilation, test, time, mark, options;
  18         }