diff options
author | Craig Silverstein <csilvers@khanacademy.org> | 2008-06-04 06:04:55 +0000 |
---|---|---|
committer | Craig Silverstein <csilvers@khanacademy.org> | 2008-06-04 06:04:55 +0000 |
commit | fd72798a271881084b101ef1a04dbaa580f5cbf8 (patch) | |
tree | fce5b83dc0d5cf24cf5bf978762ff037625ea610 | |
parent | 279100178995ecc29231373cc12e08e822d1a09e (diff) | |
download | distcc-git-fd72798a271881084b101ef1a04dbaa580f5cbf8.tar.gz |
Get rid of setting is_in_installation; that variable isn't used
anywhere anymore, so no reason to set it.
Tested by running 'make pump-maintainer-check'.
Reviewed by klarlund
-rwxr-xr-x | pump.in | 14 |
1 files changed, 0 insertions, 14 deletions
@@ -171,20 +171,6 @@ Initialize() { # installation to the 'include_server' directory. include_server_relative="../$PYTHON_RELATIVE_LIB/include_server" - # We use a little heuristic to determine whether this pump script is part of - # an installation. Specifically, we check whether we're a bin directory, and - # more importantly, we look for the include_server.py script. If we're running - # out of the distcc_pump source directory, both conditions below will fail. - if [ "`basename $DISTCC_LOCATION`" = 'bin' ] \ - && [ -f "$DISTCC_LOCATION/$include_server_relative/include_server.py" ] - then - # Running from installed directory. - is_in_installation=true - else - # Running from configured directory, usually the source directory. - is_in_installation="" - fi - distcc_location="$DISTCC_LOCATION" # Check that we're getting exactly the distcc client we want: the |