No tools!

[tinyos-2.x.git] / tools / release / tinyos.files

diff --git a/tools/release/tinyos.files b/tools/release/tinyos.files
index a0e003df06140f333cd2fd396794bbb955ed377f..746d68f77823e62110486c6ee6c13f2b6c0a9201 100644 (file)
--- a/tools/release/tinyos.files
+++ b/tools/release/tinyos.files
@@ -1,5 +1,5 @@
 NAME=tinyos
-VERSION=2.0.1
+VERSION=2.0.2
 
 cd ../..
 rm -rf $NAME-$VERSION
@@ -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