From fd29308048d3a56cbb4d72a76fbd699bad1e393a Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Fri, 25 Jul 2014 12:47:15 +0200 Subject: coulomb.SCHWINGE -> laplace.SCHWINGE. --- process | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'process') diff --git a/process b/process index baea5960..2ab97b9f 100755 --- a/process +++ b/process @@ -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:?}" -- cgit v1.2.3