bash_profile: Use distcc if available.

[profile] / bash_profile

diff --git a/bash_profile b/bash_profile
index 287f3cbed2f5fc1a2ebe3b557102d55f6f198d0a..c290aa97892bcdd07704aab2dc069d847164f5e8 100644 (file)
--- a/bash_profile
+++ b/bash_profile
@@ -122,6 +122,8 @@ umask 002
 
 unset LANG LC_COLLATE
 
+__mdw_programp distcc && export CCACHE_PREFIX=distcc
+
 export TEXINPUTS=".:$HOME/lib/tex//:"
 
 __mdw_addto INFOPATH r $HOME/info /usr/info /usr/share/info /usr/local/info