#!/usr/bin/tcsh -f

set pathdirs = `echo $PATH | sed  -e 's+^:+_NULL_:+' -e 's+:$+:_NULL_+' -e 's+::+:_NULL_:+g' | tr ':' ' '`
setenv PATH `$RIG/bin/cleanpath $pathdirs`
echo PATH = "$PATH"