From bfb097be2d5aaad276ac8f7d4d82d05c244bc0e7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 16 Mar 2006 14:02:42 +0000
Subject: [PATCH] another step roward the removal of do_tests.sh

---
 matita/scripts/README     |  3 ---
 matita/scripts/insert.awk | 17 -----------------
 2 files changed, 20 deletions(-)
 delete mode 100644 matita/scripts/insert.awk

diff --git a/matita/scripts/README b/matita/scripts/README
index d48449056..831fbbd90 100644
--- a/matita/scripts/README
+++ b/matita/scripts/README
@@ -12,9 +12,6 @@ do_tests.sh
   script used by ../Makefile to run matitac[.opt] on some tests. supports some
   options and prints out some informations neded my insert
 
-insert.awk  
-  creates the SQL INSERT statements for the output of profile_cvs.sh
-
 profile_svn.sh
   SVN co, compilation, run
 
diff --git a/matita/scripts/insert.awk b/matita/scripts/insert.awk
deleted file mode 100644
index d62a6a3ec..000000000
--- a/matita/scripts/insert.awk
+++ /dev/null
@@ -1,17 +0,0 @@
- {
-	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;
-	}
-- 
2.39.2