# HG changeset patch
# User wenzelm
# Date 1271665177 -7200
# Node ID 4949ae210c38f1db444ccf495a7b6ad240d6cffb
# Parent  4d220994f30ba5927dc68598614fb396bf1d66f9
less ambitious settings for cygwin-poly;

diff -r 4d220994f30b -r 4949ae210c38 Admin/isatest/settings/cygwin-poly
--- a/Admin/isatest/settings/cygwin-poly	Mon Apr 19 07:38:35 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly	Mon Apr 19 10:19:37 2010 +0200
@@ -22,6 +22,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-M 1 -i true -d pdf -v true -t true"
+ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
 init_component "$HOME/contrib_devel/kodkodi"