diff -r ebf910e7ec87 -r 9b080867c7b1 src/Tools/make-all
--- a/src/Tools/make-all	Thu Nov 21 15:28:25 1996 +0100
+++ b/src/Tools/make-all	Thu Nov 21 16:04:27 1996 +0100
@@ -52,6 +52,11 @@
 echo Compiler=${ISABELLECOMP?'No compiler specified'} 
 echo Running on `hostname`
 echo Log files will be called make$$.log.gz
+case $TEST in
+  test) echo; echo '		**** Full test: WILL TAKE MANY HOURS ****'
+        echo '		**** Consider the -notest switch ****'
+esac
+
 
 case $FORCE.$EXEC in
   on.on) (cd $ISABELLEBIN;