Merge TinyOS 2.1.1 into master.

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

diff --git a/tools/release/tinyos.files b/tools/release/tinyos.files
index 4b2819dd7646841e2e89b07dc725b8ea08fcd55d..13e723b1c9370ab5aa71170350944b84aaa6f0e3 100644 (file)
--- a/tools/release/tinyos.files
+++ b/tools/release/tinyos.files
@@ -1,9 +1,9 @@
-NAME=tinyos
-VERSION=2.1.0
+NAME="$1"
+VERSION="$2"
+OUTPUT_FILE="$3"
 
-cd ../..
-rm -rf $NAME-$VERSION
-tools/release/extractor $NAME-$VERSION <<'EOF' | gzip >../$NAME-$VERSION.tar.gz
+pushd ../../
+./tools/release/extractor $NAME-$VERSION $OUTPUT_FILE <<'EOF' 
 !^./tinyos.sh
 !^./tos.mk
 !^./debian
@@ -54,4 +54,4 @@ tools/release/extractor $NAME-$VERSION <<'EOF' | gzip >../$NAME-$VERSION.tar.gz
 ./tests/TestSerial/TestSerial.class
 ./RadioCountToLeds/RadioCountMsg.class
 EOF
-rm -rf $NAME-$VERSION
+popd