Commit 40cda756 authored by Andrew McNab's avatar Andrew McNab
Browse files

Check if /etc/machinefeatures exists before setting $MACHINEFEATURES

parent 1d189db8
setenv MACHINEFEATURES /etc/machinefeatures if ( -d /etc/machinefeatures ) then
setenv MACHINEFEATURES /etc/machinefeatures
endif
if ( "$PBS_JOBID" != "" ) then if ( "$PBS_JOBID" != "" ) then
setenv JOBFEATURES $HOME/jobfeatures-$PBS_JOBID setenv JOBFEATURES $HOME/jobfeatures-$PBS_JOBID
endif endif
export MACHINEFEATURES=/etc/machinefeatures if [ -d /etc/machinefeatures ] ; then
export MACHINEFEATURES=/etc/machinefeatures
fi
if [ "$PBS_JOBID" != "" ] ; then if [ "$PBS_JOBID" != "" ] ; then
export JOBFEATURES=$HOME/jobfeatures-$PBS_JOBID export JOBFEATURES=$HOME/jobfeatures-$PBS_JOBID
fi fi
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment