diff -r d80e6dedcc13 -r 39e4ef7d6d8d tools/Makefile --- a/tools/Makefile Mon Mar 12 18:59:31 2007 +0000 +++ b/tools/Makefile Fri Jun 01 16:50:29 2007 +0000 @@ -9,3 +9,4 @@ help:: @echo ' updatetools - Update the config tools' + @echo ''