-# where the name is the basename of the command. If the command exits
-# with non-zero status then a mail message is sent to $USER containing
-# the tail of the log file, otherwise no action is taken.
-#
-# This script is more useful than simply using cron, which will mail
-# you if the command produces _any_ output, whether or not it is
-# successful. Often, you don't want to know if your script succeeds,
-# only if it fails.
-#
-
-script="`basename $0`"
-
-msg () {
- echo "$script: $*" 1>&2
-}
-
-die () {
- msg "$@"
- exit 1
-}
-
-# Create log directories if they don't already exist.
-
-test -d $HOME/var || mkdir $HOME/var ||
- die "Couldn't create var directory"
-test -d $HOME/var/log || mkdir $HOME/var/log ||
- die "Couldn't create log directory"
-
-logfile="$HOME/var/log/`basename \"$1\"`"
-
-# truncate log
-mv "$logfile" "$logfile~" &&
-tail -1048576c < "$logfile~" > "$logfile" &&
-rm -f "$logfile~"
-
-(
- date "+$script %Y-%m-%d %H:%M:%S started \"$*\""
- "$@"
- status="$?"
- date "+$script %Y-%m-%d %H:%M:%S exited with status $status"
- exit "$status"
-) >> "$logfile" 2>&1 ||
-{
- status=$?
- hostname="`hostname`"
- {
- echo "To: $USER"
- echo "Subject: Overnight script \"$1\" failed on $hostname"
- echo
- echo "The overnight script failed with exit code $status on $hostname."
- echo "The end of the log reads:"
- echo
- tail -50 "$logfile" | sed -e 's/^/> /'
- } | /usr/lib/sendmail -t
-}
-
-exit 0
diff --git a/mps/tool/robot/bin/tidy b/mps/tool/robot/bin/tidy
deleted file mode 100644
index 95ce915198d..00000000000
--- a/mps/tool/robot/bin/tidy
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/sh
-# ==== TIDY UP ROBOT HOME DIRECTORY ====
-#
-# This script is run overnight by the Memory Management robot.
-# It does various housekeeping tasks and checks on the home directory
-# to keep things in order.
-
-script="`basename $0`"
-
-# Clear tmp directory
-rm -rf $HOME/tmp
-
-# Truncate log files
-cd $HOME/var/log &&
-find $HOME/var/log -type f -size +1048576c -print |
-while read log
-do
- mv "$log" "$log~" &&
- tail -1048576c < "$log~" > "$log" &&
- rm -f "$log~"
-done
-
-exit 0
diff --git a/mps/tool/robot/etc/deja-vu.cron b/mps/tool/robot/etc/deja-vu.cron
deleted file mode 100644
index 0ef2542abbb..00000000000
--- a/mps/tool/robot/etc/deja-vu.cron
+++ /dev/null
@@ -1,7 +0,0 @@
-# $HopeName: HOMEmm!etc:deja-vu.cron(trunk.11) $
-# minutes hours day-of-month month day-of-week command
-10 21 * * * sh -c ". etc/shenv && overnight checkout"
-20 21 * * * sh -c "./bin/tidy"
-30 21 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_src_trunk sus8gc"
- 0 1 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_honeybee sus8gc"
-30 4 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_sunflower sus8gc"
diff --git a/mps/tool/robot/etc/nova.cron b/mps/tool/robot/etc/nova.cron
deleted file mode 100644
index 9641aa7af64..00000000000
--- a/mps/tool/robot/etc/nova.cron
+++ /dev/null
@@ -1,4 +0,0 @@
-# $HopeName$
-# minutes hours day-of-month month day-of-week command
-00 01 * * * sh -c ". etc/shenv && overnight checkout"
-05 01 * * * sh -c "./bin/tidy"
diff --git a/mps/tool/robot/etc/ocoee.cron b/mps/tool/robot/etc/ocoee.cron
deleted file mode 100644
index 97254dfc232..00000000000
--- a/mps/tool/robot/etc/ocoee.cron
+++ /dev/null
@@ -1,8 +0,0 @@
-# $HopeName: HOMEmm!etc:ocoee.cron(trunk.1) $
-# minutes hours day-of-month month day-of-week command
-53 20 * * * sh -c ". etc/shenv && overnight checkout"
-45 22 * * 1-5 sh -c ". etc/shenv && overnight ./bin/build/MM_src_trunk lii4gc"
-#30 01 * * 2-5 sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_kinglet lii4gc"
-30 02 * * 2-3 sh -c ". etc/shenv && overnight ./bin/mmqa/MMQA_src_trunk lii4gc hi"
-#55 20 * * 6 sh -c ". etc/shenv && overnight ./bin/mmqa/MMQA_dylan_kinglet lii4gc ci he"
-30 02 * * 4 sh -c ". etc/shenv && overnight ./bin/mmqa/MMQA_src_trunk lii4gc ci wi"
diff --git a/mps/tool/robot/etc/shenv b/mps/tool/robot/etc/shenv
deleted file mode 100644
index 84941461879..00000000000
--- a/mps/tool/robot/etc/shenv
+++ /dev/null
@@ -1,11 +0,0 @@
-# -*- Mode: Shell-script -*-
-# impl.sh.shenv: MM project robot environment setup
-# $HopeName: HOMEmm!etc:shenv(trunk.5) $
-
-PATH="$HOME/bin:/usr/local/bin:/usr/ucb:/usr/bin:/bin:/usr/ccs/bin" export PATH
-USER=`whoami` export USER
-
-umask 002
-
-# stop HOPE complaining about TZ
-HOPETZ=`date | cut -c21-23` export HOPETZ
diff --git a/mps/tool/robot/etc/trillian.cron b/mps/tool/robot/etc/trillian.cron
deleted file mode 100644
index bbb75ad79ec..00000000000
--- a/mps/tool/robot/etc/trillian.cron
+++ /dev/null
@@ -1,8 +0,0 @@
-# $HopeName: HOMEmm!etc:trillian.cron(trunk.31) $
-# minutes hours day-of-month month day-of-week command
-00 23 * * * sh -c ". etc/shenv && overnight checkout"
-05 23 * * * sh -c "./bin/tidy"
-30 23 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_src_trunk sos8gc"
-50 23 * * * sh -c ". etc/shenv && overnight ./bin/build/MMdevel_sw_eq sospgc"
-40 00 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_epcore_anchovy sos8gc"
-20 02 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_jackdaw sos8gc"
diff --git a/mps/tool/robot/etc/zaphod.cron b/mps/tool/robot/etc/zaphod.cron
deleted file mode 100644
index d79db993bb9..00000000000
--- a/mps/tool/robot/etc/zaphod.cron
+++ /dev/null
@@ -1,9 +0,0 @@
-# $HopeName: HOMEmm!etc:zaphod.cron(trunk.15) $
-# minutes hours day-of-month month day-of-week command
-50 20 * * * sh -c ". etc/shenv && overnight checkout"
-55 22 * * 1-4 sh -c ". etc/shenv && overnight ./bin/build/MM_src_trunk sos8gc"
-#30 01 * * 3 sh -c ". etc/shenv && overnight ./bin/build/MM_epcore_anchovy sos8gc"
-00 02 * * 2-5 sh -c ". etc/shenv && overnight ./bin/build/MM_epcore_brisling sos8gc"
-40 02 * * 2-5 sh -c ". etc/shenv && overnight ./bin/mmqa/MMQA_src_trunk sos8gc hi we"
-55 20 * * 5 sh -c ". etc/shenv && overnight ./bin/mmqa/MMQA_src_trunk sos8gc ci"
-00 20 * * 0 sh -c ". etc/shenv && overnight ./bin/mmqa/MMQA_epcore_brisling sos8gc hi we ci"
diff --git a/mps/tool/robot/public-html/Welcome.html b/mps/tool/robot/public-html/Welcome.html
deleted file mode 100644
index 324ff70ab12..00000000000
--- a/mps/tool/robot/public-html/Welcome.html
+++ /dev/null
@@ -1,108 +0,0 @@
-
-
-
-
-Memory Management
-
-
-
-Memory Management
-
-There used to be an Adaptive Memory Management Group; now there
-isn't.
-
-
-The Memory Management Reference
-
-We still maintain The
-Memory Management Reference on Harlequin's external web site
-(actually Xanalys', but this might change). The latest draft of the
-next version is available
-on
-an internal server ; problems in it should be reported to mm-web-team .
-
-
-Useful links
-
-Most useful links can be found in the
-The Memory
-Management Reference links page ; this is just stuff that didn't
-make it there, for one reason or another.
-
-
-
-
-Allocators
-
-
Garbage collectors
-
-
Memory debugging tools
-
-
-
-Papers
-
-The versions on webhost are for distribution within Harlequin
-and Xanalys only . For externally published versions, follow
-links to external sites, where provided.
-
-Pekka P. Pirinen: Barrier techniques for incremental tracing
-
-
-published version
-draft, Postscript,
-6 pages, 182 KB
-draft, PDF 2.1,
-6 pages, 72 dpi, 136 KB
-Presented at
-the 1998
-International Symposium on Memory Management .
-
-Abstract: This paper presents a classification of barrier
-techniques for interleaving tracing with mutator operation during an
-incremental garbage collection. The two useful tricolour invariants
-are derived from more elementary considerations of graph traversal.
-Barrier techniques for maintaining these invariants are classified
-according to the action taken at the barrier (such as scanning an
-object or changing its colour), and it is shown that the algorithms
-described in the literature cover all the possibilities except one.
-Unfortunately, the new technique is impractical. Ways of combining
-barrier techniques are also discussed.
-
-Comments to Pekka , please.
-
-
-Contact mm-hackers
-Last modified: $Date: 2000/03/13 14:00:19 $
-
-