# HG changeset patch
# User blanchet
# Date 1281350920 -7200
# Node ID c9c7bd8368942a53611dda9a3dd3399805c935c6
# Parent  ba0c037cc6c297d4e0f64aabada5c1c172f25c5d
disable Nitpick on Cygwin while I'm on vacation;
I'll look into the timeout once I'm back

diff -r ba0c037cc6c2 -r c9c7bd836894 Admin/isatest/settings/cygwin-poly-e
--- a/Admin/isatest/settings/cygwin-poly-e	Mon Aug 09 12:42:25 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Mon Aug 09 12:48:40 2010 +0200
@@ -24,4 +24,6 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
-init_component "$HOME/contrib_devel/kodkodi"
+# Disable while Jasmin is on vacation
+unset KODKODI
+#init_component "$HOME/contrib_devel/kodkodi"