From 4efa3d27f973c0699f8a519ead47d3a8397b7e37 Mon Sep 17 00:00:00 2001
From: Tali Zvi <talizvi@post.tau.ac.il>
Date: Wed, 5 Feb 2003 19:13:09 +0000
Subject: [PATCH] Added two new types of beches.

---
 Packages/Benchmark/developer_scripts/cgal_bench_log2html | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Packages/Benchmark/developer_scripts/cgal_bench_log2html b/Packages/Benchmark/developer_scripts/cgal_bench_log2html
index c0f35b6b09e..21a50627253 100755
--- a/Packages/Benchmark/developer_scripts/cgal_bench_log2html
+++ b/Packages/Benchmark/developer_scripts/cgal_bench_log2html
@@ -220,6 +220,9 @@ while ($line = <LOGFILE>) {
     } elsif ($name =~ m/My Leda Kernel/) {
       $kernel = 'my_kernel';
       $time_class = 'my_kernel_time';
+    } elsif ($name =~ m/Leda Kernel Fast/) {
+      $kernel = 'cgal_kernel';
+      $time_class = 'cgal_kernel_time';
     } elsif ($name =~ m/Leda Kernel/) {
       $kernel = 'leda_kernel';
       $time_class = 'leda_kernel_time';
@@ -229,6 +232,12 @@ while ($line = <LOGFILE>) {
     } elsif ($name =~ m/old Conics/) {
       $kernel = 'cgal_kernel';
       $time_class = 'cgal_kernel_time';
+    } elsif ($name =~ m/Tight Sweep/) {
+      $kernel = 'cgal_kernel';
+      $time_class = 'cgal_kernel_time';
+    } elsif ($name =~ m/Sweep/) {
+      $kernel = 'leda_kernel';
+      $time_class = 'leda_kernel_time';
     } else {
       next;
     }