# HG changeset patch
# User blanchet
# Date 1283435279 -7200
# Node ID 08a9970ca2fefcfb4c5142b614b6b95a59619e52
# Parent  bef9e5dd0fd07d729d19058d841df4d4d519db04
reenable Nitpick on Cygwin;
we'll see tomorrow if there's still a failure, and if so I'll investigate

diff -r bef9e5dd0fd0 -r 08a9970ca2fe Admin/isatest/settings/cygwin-poly-e
--- a/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 13:45:39 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 15:47:59 2010 +0200
@@ -24,6 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
-# Disable while Jasmin is on vacation
-unset KODKODI
-#init_component "$HOME/contrib_devel/kodkodi"
+init_component "$HOME/contrib_devel/kodkodi"