diff --git a/src/Makefile.in b/src/Makefile.in index 643f7d50aec3e5ccc720aecd423d03a889674ee1..5ae88f0904527b93bdaf8cd3869f47d1f9ff06cf 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -1,5 +1,5 @@ # -# $Id: Makefile.in,v 1.113 1998/08/07 15:48:02 grubba Exp $ +# $Id: Makefile.in,v 1.114 1998/08/07 16:01:34 grubba Exp $ # # This line is needed on some machines. @@ -139,11 +139,17 @@ compiler-warnings : clean @if $(MAKE) $(MAKE_FLAGS) all 2>compiler-warnings ; then \ echo; \ echo 'Compilation warning summary:'; \ + echo '----------------------------'; \ else \ echo; \ echo 'Compilation warning and error summary:'; \ + echo '--------------------------------------'; \ fi + @echo @cat compiler-warnings + @echo + @echo 'End of summary' + @echo '--------------' pike: $(OBJ) modules/linker_options -@if [ -f pike ] ; then mv pike pike.old || : ; else : ; fi