isatest: more uniform setup for Unix vs. Cygwin;
authorwenzelm
Fri Apr 09 11:35:50 2010 +0200 (2010-04-09)
changeset 36100a8912920ef4f
parent 36099 7e1f972df25f
child 36101 bae883012af3
isatest: more uniform setup for Unix vs. Cygwin;
Admin/isatest/isatest-makedist
Admin/isatest/settings/at-poly
Admin/isatest/settings/at-poly-test
Admin/isatest/settings/at64-poly
Admin/isatest/settings/cygwin-poly
Admin/isatest/settings/mac-poly
Admin/isatest/settings/mac-poly-M4
Admin/isatest/settings/mac-poly-M8
Admin/isatest/settings/mac-poly64-M4
Admin/isatest/settings/mac-poly64-M8
     1.1 --- a/Admin/isatest/isatest-makedist	Thu Apr 08 22:39:06 2010 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Fri Apr 09 11:35:50 2010 +0200
     1.3 @@ -106,7 +106,7 @@
     1.4  sleep 15
     1.5  $SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para"
     1.6  sleep 15
     1.7 -$SSH atbroy102 "mount -a; $MAKEALL $HOME/settings/cygwin-poly"
     1.8 +$SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly"
     1.9  #sleep 15
    1.10  #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
    1.11  #sleep 15
     2.1 --- a/Admin/isatest/settings/at-poly	Thu Apr 08 22:39:06 2010 +0200
     2.2 +++ b/Admin/isatest/settings/at-poly	Fri Apr 09 11:35:50 2010 +0200
     2.3 @@ -24,4 +24,4 @@
     2.4  
     2.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
     2.6  
     2.7 -init_component /home/isabelle/contrib_devel/kodkodi
     2.8 +init_component "$HOME/contrib_devel/kodkodi"
     3.1 --- a/Admin/isatest/settings/at-poly-test	Thu Apr 08 22:39:06 2010 +0200
     3.2 +++ b/Admin/isatest/settings/at-poly-test	Fri Apr 09 11:35:50 2010 +0200
     3.3 @@ -24,4 +24,4 @@
     3.4  
     3.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
     3.6  
     3.7 -init_component /home/isabelle/contrib_devel/kodkodi
     3.8 +init_component "$HOME/contrib_devel/kodkodi"
     4.1 --- a/Admin/isatest/settings/at64-poly	Thu Apr 08 22:39:06 2010 +0200
     4.2 +++ b/Admin/isatest/settings/at64-poly	Fri Apr 09 11:35:50 2010 +0200
     4.3 @@ -24,4 +24,4 @@
     4.4  
     4.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
     4.6  
     4.7 -init_component /home/isabelle/contrib_devel/kodkodi
     4.8 +init_component "$HOME/contrib_devel/kodkodi"
     5.1 --- a/Admin/isatest/settings/cygwin-poly	Thu Apr 08 22:39:06 2010 +0200
     5.2 +++ b/Admin/isatest/settings/cygwin-poly	Fri Apr 09 11:35:50 2010 +0200
     5.3 @@ -24,4 +24,4 @@
     5.4  
     5.5  ISABELLE_USEDIR_OPTIONS="-M 1 -i true -d pdf -v true -t true"
     5.6  
     5.7 -init_component /home/isatest/homebroy/home/isabelle/contrib_devel/kodkodi
     5.8 +init_component "$HOME/contrib_devel/kodkodi"
     6.1 --- a/Admin/isatest/settings/mac-poly	Thu Apr 08 22:39:06 2010 +0200
     6.2 +++ b/Admin/isatest/settings/mac-poly	Fri Apr 09 11:35:50 2010 +0200
     6.3 @@ -24,4 +24,4 @@
     6.4  
     6.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
     6.6  
     6.7 -init_component /home/isabelle/contrib_devel/kodkodi
     6.8 +init_component "$HOME/contrib_devel/kodkodi"
     7.1 --- a/Admin/isatest/settings/mac-poly-M4	Thu Apr 08 22:39:06 2010 +0200
     7.2 +++ b/Admin/isatest/settings/mac-poly-M4	Fri Apr 09 11:35:50 2010 +0200
     7.3 @@ -25,4 +25,4 @@
     7.4  
     7.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
     7.6  
     7.7 -init_component /home/isabelle/contrib_devel/kodkodi
     7.8 +init_component "$HOME/contrib_devel/kodkodi"
     8.1 --- a/Admin/isatest/settings/mac-poly-M8	Thu Apr 08 22:39:06 2010 +0200
     8.2 +++ b/Admin/isatest/settings/mac-poly-M8	Fri Apr 09 11:35:50 2010 +0200
     8.3 @@ -25,5 +25,5 @@
     8.4  
     8.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
     8.6  
     8.7 -init_component /home/isabelle/contrib_devel/kodkodi
     8.8 +init_component "$HOME/contrib_devel/kodkodi"
     8.9  
     9.1 --- a/Admin/isatest/settings/mac-poly64-M4	Thu Apr 08 22:39:06 2010 +0200
     9.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Fri Apr 09 11:35:50 2010 +0200
     9.3 @@ -25,5 +25,4 @@
     9.4  
     9.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
     9.6  
     9.7 -init_component /home/isabelle/contrib_devel/kodkodi
     9.8 -
     9.9 +init_component "$HOME/contrib_devel/kodkodi"
    10.1 --- a/Admin/isatest/settings/mac-poly64-M8	Thu Apr 08 22:39:06 2010 +0200
    10.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Fri Apr 09 11:35:50 2010 +0200
    10.3 @@ -25,5 +25,5 @@
    10.4  
    10.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
    10.6  
    10.7 -init_component /home/isabelle/contrib_devel/kodkodi
    10.8 +init_component "$HOME/contrib_devel/kodkodi"
    10.9