Rebuild the tinyos.jar file in support/sdk/java.

diff --git a/rules b/rules
index 89ac2214bb7c9ee55b1a6dda69512165bbea0bcb..dcc48766ec50da0d431df1548d56ab2948986182 100755 (executable)
--- a/rules
+++ b/rules
@@ -69,6 +69,13 @@ install-stamp: checkroot build-stamp
        $(MAKE) -C $(dtmp)/builddir/tools \
                prefix=$$(pwd)/$(dtmp)/$(toolspkg)/usr \
                mandir=$$(pwd)/$(dtmp)/$(toolspkg)/usr/share/man install
+       : # Build tinyos.jar here; gain access to uninstalled tinyos tools.
+       PATH=$$(pwd)/$(dtmp)/$(toolspkg)/usr/bin:$$PATH \
+               TOSROOT=$$(pwd)/$(dtmp)/builddir \
+               TOSDIR=$$(pwd)/$(dtmp)/builddir/tos \
+               CLASSPATH=$$(pwd)/$(dtmp)/builddir/support/sdk/java:. \
+               $(MAKE) -C $(dtmp)/builddir/support/sdk/java tinyos.jar
+       $(MAKE) -C $(dtmp)/builddir/support/sdk/java clean
        touch $@