# HG changeset patch
# User paulson
# Date 848588667 -3600
# Node ID 9b080867c7b1377cad931e7534336657779d8eaf
# Parent  ebf910e7ec8714c084dd596edd55e3a5a46c65b0
Added warning message

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;