2 files changed, 41 insertions, 0 deletions

diff --git a/Tools/portbuild/scripts/doupgrademach b/Tools/portbuild/scripts/doupgrademach
new file mode 100755
index 000000000000..ba2d5fb3c6ed
--- /dev/null
+++ b/Tools/portbuild/scripts/doupgrademach
@@ -0,0 +1,27 @@
+#!/bin/sh
+
+# configurable variables
+master=bento
+chroot=/a/asami/chroot
+kernelconfig=CLUSTER
+
+PATH=/sbin:/usr/sbin:$PATH
+
+if [ -f /usr/src/Makefile ]; then
+  mv /usr/src /usr/old.src
+  mv /usr/obj /usr/old.obj
+  mkdir /usr/src /usr/obj
+fi
+
+mount $master:$chroot/usr/src /usr/src
+mount $master:$chroot/usr/obj /usr/obj
+
+echo "installing world"
+cd /usr/src && make installworld > /usr/tmp/make.0 2>&1 </dev/null
+cd /sys/compile/$kernelconfig && make install
+
+cd /
+
+umount /usr/src /usr/obj
+
+reboot
diff --git a/Tools/portbuild/scripts/upgrademach b/Tools/portbuild/scripts/upgrademach
new file mode 100755
index 000000000000..078752b7ec15
--- /dev/null
+++ b/Tools/portbuild/scripts/upgrademach
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+# usage: $0 machine
+
+if [ $# != 1 ]; then
+  echo "usage: $0 machine"
+  exit 1
+fi
+
+unset DISPLAY
+script=/a/asami/portbuild/scripts/doupgrademach
+
+scp -q -p $script $1:$script
+ssh -n $1 $script