changeset 45157 | efc2e2d80218 |
parent 43903 | 1e2aa420c660 |
child 45164 | 13dddf30c792 |
--- a/Admin/mira.py Sun Oct 16 18:48:30 2011 +0200 +++ b/Admin/mira.py Sun Oct 16 21:49:47 2011 +0200 @@ -188,7 +188,7 @@ usedir_options += " -M 6 -q 2 -i false -d false" more_settings += ''' ML_PLATFORM="x86_64-linux" -ML_HOME="/home/polyml/polyml-svn/x86_64-linux" +ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux" ML_SYSTEM="polyml-5.4.1" ML_OPTIONS="-H 8000 --gcthreads 6"