summaryrefslogtreecommitdiff
path: root/process
diff options
context:
space:
mode:
Diffstat (limited to 'process')
-rwxr-xr-xprocess16
1 files changed, 8 insertions, 8 deletions
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:?}"