Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
isatest: more uniform setup for Unix vs. Cygwin;
authorwenzelm
Fri, 09 Apr 2010 11:35:50 +0200
changeset 36100 a8912920ef4f
parent 36099 7e1f972df25f
child 36101 bae883012af3
isatest: more uniform setup for Unix vs. Cygwin;
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-test file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/cygwin-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M8 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M8 file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/isatest-makedist	Fri Apr 09 11:35:50 2010 +0200
@@ -106,7 +106,7 @@
 sleep 15
 $SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para"
 sleep 15
-$SSH atbroy102 "mount -a; $MAKEALL $HOME/settings/cygwin-poly"
+$SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly"
 #sleep 15
 #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 #sleep 15
--- a/Admin/isatest/settings/at-poly	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/at-poly	Fri Apr 09 11:35:50 2010 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/at-poly-test	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/at-poly-test	Fri Apr 09 11:35:50 2010 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/at64-poly	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/at64-poly	Fri Apr 09 11:35:50 2010 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/cygwin-poly	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly	Fri Apr 09 11:35:50 2010 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i true -d pdf -v true -t true"
 
-init_component /home/isatest/homebroy/home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/mac-poly	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/mac-poly	Fri Apr 09 11:35:50 2010 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/mac-poly-M4	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Fri Apr 09 11:35:50 2010 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/mac-poly-M8	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Fri Apr 09 11:35:50 2010 +0200
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
 
--- a/Admin/isatest/settings/mac-poly64-M4	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4	Fri Apr 09 11:35:50 2010 +0200
@@ -25,5 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
-init_component /home/isabelle/contrib_devel/kodkodi
-
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/mac-poly64-M8	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/mac-poly64-M8	Fri Apr 09 11:35:50 2010 +0200
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"
isabelle