No tools!

diff --git a/tools/release/tinyos.files b/tools/release/tinyos.files
index 7ec579248350371d06e33e4b5c3236bdaec4a526..746d68f77823e62110486c6ee6c13f2b6c0a9201 100644 (file)
--- a/tools/release/tinyos.files
+++ b/tools/release/tinyos.files
@@ -11,6 +11,7 @@ tools/release/extractor $NAME-$VERSION <<'EOF' | gzip >../$NAME-$VERSION.tar.gz
 !^./support/make/Makelocal
 !^./support/make/btnode3.target
 !^./tests
+!^./tools
 !^./tos/chips/Atmega128
 !^./tos/chips/cc2420_pm
 !^./tos/chips/cc1000_pm