diff options
Diffstat (limited to 'source/d/icecream/icecream.csh')
-rw-r--r-- | source/d/icecream/icecream.csh | 18 |
1 files changed, 3 insertions, 15 deletions
diff --git a/source/d/icecream/icecream.csh b/source/d/icecream/icecream.csh index 6c558d615..bcd06f058 100644 --- a/source/d/icecream/icecream.csh +++ b/source/d/icecream/icecream.csh @@ -1,19 +1,7 @@ #!/bin/csh -# Only add the icecream directory to the PATH if we see that icecc-scheduler -# and/or iceccd are running on this machine: +# Only add the icecream directory to the PATH if we see that iceccd is +# supposed to be running on this machine: -setenv ICECC_PRESENT false -/usr/bin/pgrep --ns $$ -f "^/usr/sbin/icecc-scheduler" > /dev/null -if ( $? == 0 ) then - setenv ICECC_PRESENT true -endif - -/usr/bin/pgrep --ns $$ -f "^/usr/sbin/iceccd" > /dev/null -if ( $? == 0 ) then - setenv ICECC_PRESENT true -endif - -if ( $ICECC_PRESENT == true ) then +if ( -x /etc/rc.d/rc.iceccd ) then setenv PATH /usr/libexec/icecc/bin:${PATH} endif - |