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         }