changeset 2216 | 9b080867c7b1 |
parent 2127 | 33f3d40145e8 |
child 2245 | e34ddc74a2b4 |
--- 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;