# HG changeset patch
# User wenzelm
# Date 1265799793 -3600
# Node ID 6591285a6a590a78ed147a53d258b4bd738f7ecb
# Parent  92a8c9ea5aa7c961053e586caaadc5e64647c4c7
unset KODKODI explicitly -- apparently isatest patches settings cumulatively;

diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
+unset KODKODI
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at-poly-5.1-para-e
--- a/Admin/isatest/settings/at-poly-5.1-para-e	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-poly-5.1-para-e	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 10"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at-poly-dev-e
--- a/Admin/isatest/settings/at-poly-dev-e	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-poly-dev-e	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at-sml
--- a/Admin/isatest/settings/at-sml	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-sml	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at-sml-dev-e
--- a/Admin/isatest/settings/at-sml-dev-e	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at-sml-dev-p
--- a/Admin/isatest/settings/at-sml-dev-p	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-sml-dev-p	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at64-poly	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at64-poly-5.1-para
--- a/Admin/isatest/settings/at64-poly-5.1-para	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at64-poly-5.1-para	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/at64-sml-dev
--- a/Admin/isatest/settings/at64-sml-dev	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at64-sml-dev	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/mac-poly64-M8
--- a/Admin/isatest/settings/mac-poly64-M8	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/mac-poly64-M8	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/mac-sml-dev
--- a/Admin/isatest/settings/mac-sml-dev	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/mac-sml-dev	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/sun-poly	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/sun-sml
--- a/Admin/isatest/settings/sun-sml	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/sun-sml	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
diff -r 92a8c9ea5aa7 -r 6591285a6a59 Admin/isatest/settings/sun-sml-dev
--- a/Admin/isatest/settings/sun-sml-dev	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/sun-sml-dev	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+