From 45cca2b32406a36d95dc2ea1fe929d7d72d2a3a7 Mon Sep 17 00:00:00 2001
From: scipio <scipio>
Date: Mon, 30 Jul 2007 07:09:33 +0000
Subject: [PATCH] No tools!

---
 tools/release/tinyos.files | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/release/tinyos.files b/tools/release/tinyos.files
index 7ec57924..746d68f7 100644
--- 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
-- 
2.39.2