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;