+java=`$RPM_INSTALL_PREFIX/bin/tos-locate-jre --java`
+tinyoslibdir=$RPM_INSTALL_PREFIX/lib/tinyos
+bits=32
+if [ $? -ne 0 ]; then
+ echo "java command not found - assuming 32 bits"
+elif file -L $java/java | grep -q 64-bit; then
+ bits=64
+fi
+echo "Installing $bits-bit Java JNI code in $jni ... "
+for lib in $tinyoslibdir/*-$bits.so; do
+ realname=`basename $lib | sed -e s/-$bits\.so/.so/`
+ install $lib "$jni/$realname" || exit 1