changeset 413:2c99f59ec2d7

Don't build distcc if it's not in $PATH but we already built it.
author Rob Landley <rob@landley.net>
date Sun, 19 Oct 2008 02:46:37 -0500
parents 01009efaac95
children 42faea138734
files host-tools.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/host-tools.sh	Thu Oct 16 01:44:22 2008 -0500
+++ b/host-tools.sh	Sun Oct 19 02:46:37 2008 -0500
@@ -144,7 +144,7 @@
 # use the distcc acceleration trick.
 
 # Build distcc (if it's not in $PATH)
-if [ -z "$(which distcc)" ]
+if [ -z "$(which distcc)" ] && [ ! -f "{$HOSTTOOLS}"/distcc ]
 then
   setupfor distcc &&
   ./configure --with-included-popt &&