diff options
Diffstat (limited to 'process')
-rwxr-xr-x | process | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -12,22 +12,22 @@ case $project in binutils-gdb) branch=tschwinge/W._C._Handy linux_host=kepler.SCHWINGE - hurd_host=coulomb.SCHWINGE + hurd_host=laplace.SCHWINGE ;; gcc) branch=hurd/master linux_host=kepler.SCHWINGE - hurd_host=coulomb.SCHWINGE + hurd_host=laplace.SCHWINGE ;; glibc) branch=tschwinge/Roger_Whittaker #linux_host=kepler.SCHWINGE - hurd_host=coulomb.SCHWINGE + hurd_host=laplace.SCHWINGE ;; llvm) branch=tschwinge/Horace_Silver linux_host=kepler.SCHWINGE - hurd_host=coulomb.SCHWINGE + hurd_host=laplace.SCHWINGE ;; *) echo >&2 "Don't know about project »$project«." @@ -75,14 +75,14 @@ case $project:$action in host=$1 [ $# = 0 ] || shift case $host in - coulomb.SCHWINGE) - project_base=tmp/"$project" - mount=/media/erich - ;; kepler.SCHWINGE) project_base=tmp/source/"$project" mount=/media/data ;; + laplace.SCHWINGE) + project_base=tmp/"$project" + mount=/media/erich + ;; '') # If there is no host specified, try a default set. : "${linux_host:?}" |