diff -r b2695c2f1919 -r 22b5ef41df97 Makefile --- a/Makefile Fri May 25 19:30:42 2007 +0000 +++ b/Makefile Sun May 27 20:22:06 2007 +0000 @@ -31,10 +31,15 @@ @echo ' distclean - Remove generated files, configuration and build directories' include $(CT_TOP_DIR)/tools/Makefile +include $(CT_TOP_DIR)/Makefile.steps help:: @echo 'Distribution targets:' @echo ' tarball - Build a tarball of the configured toolchain' + @echo '' + @echo 'Environement variables:' + @echo ' STOP - Stop the build just after this step' + @echo ' RESTART - Restart the build just before this step' @echo @echo 'Environement variables:' @echo ' STOP - Stop the build just after this step' @@ -56,4 +61,5 @@ .PHONY: distclean distclean:: clean @rm -f .config* ..config.tmp + @rm -f log.* @rm -rf "$(CT_TOP_DIR)/targets"