# and may source again at any time to change which installed TinyOS source
# tree their code shall be built against.
-TOSCFG=~/.tosrc
+TOSCFG="$HOME/.tosrc"
TOSBASE=/opt/tinyos
RCFILES="$HOME/.bashrc $HOME/.shrc $HOME/.kshrc $HOME/.cshrc $ENV"
# Operations below here cannot be executed in a sub-shell
echo "tinyos: must be sourced"
elif [ "$1" = "-u" ]; then
- if [ -f $TOSCFG ]; then
+ if [ -f "$TOSCFG" ]; then
uninstallshrc
updclasspath "$TOSROOT" ""
unset TOSROOT TOSDIR MAKERULES