From 2cd7312e135f2ce33a474ca4974b70d0c908ee08 Mon Sep 17 00:00:00 2001
From: Geert-Jan Giezeman <geert@cs.uu.nl>
Date: Fri, 28 Sep 2001 06:56:37 +0000
Subject: [PATCH] *** empty log message ***

---
 Packages/Scripts/test/collect_cgal_testresults | 3 ++-
 Packages/Scripts/version                       | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Packages/Scripts/test/collect_cgal_testresults b/Packages/Scripts/test/collect_cgal_testresults
index 77c61dd5e06..81670ce3ea6 100755
--- a/Packages/Scripts/test/collect_cgal_testresults
+++ b/Packages/Scripts/test/collect_cgal_testresults
@@ -25,7 +25,8 @@ print_testresult()
     if eval grep ERROR ErrorOutput_$1 > /dev/null ; then
       RESULT="n"
     else
-      if eval grep '[Ww]arning' CompilerOutput_$1 > /dev/null
+#      if eval grep '[Ww]arning' CompilerOutput_$1 > /dev/null
+      if eval grep -i warning CompilerOutput_$1 > /dev/null
       then
         RESULT="w"
       else
diff --git a/Packages/Scripts/version b/Packages/Scripts/version
index 99ca00e3303..e421de8ec20 100644
--- a/Packages/Scripts/version
+++ b/Packages/Scripts/version
@@ -1 +1 @@
-1.19 (13 Mar 2001)
+1.20 (28 Sep 2001)