X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Finsert.awk;fp=helm%2Fmatita%2Fscripts%2Finsert.awk;h=d62a6a3ecdc2aef395833e1a6a04dc068c017288;hp=0000000000000000000000000000000000000000;hb=792b5d29ebae8f917043d9dd226692919b5d6ca1;hpb=a14a8c7637fd0b95e9d4deccb20c6abc98e8f953

diff --git a/helm/matita/scripts/insert.awk b/helm/matita/scripts/insert.awk
new file mode 100644
index 000000000..d62a6a3ec
--- /dev/null
+++ b/helm/matita/scripts/insert.awk
@@ -0,0 +1,17 @@
+ {
+	result=tolower($3);
+	if( $1 ~ ".opt$" )
+		compilation="opt"
+	else
+		compilation="byte"
+	test=$2	
+	time=$4
+	timeuser=$5
+	mark=$7
+	if ( $8 ~ "^gc-off$") 
+		options="'gc-off'";
+	if ( $8 ~ "^gc-on$") 
+		options="'gc-on'"
+		
+	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;
+	}