diff options
author | ng0 <ng0@n0.is> | 2019-10-04 16:55:58 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-10-04 16:55:58 +0000 |
commit | eb2e6105e477f232f775dd0c0e860b2df57a6a57 (patch) | |
tree | 191392c237c4911f8beed9a4098f0f5adbbe7e4e /configure.py | |
parent | 6ed0bb52a46a4912c9c91b4f28838a1ccd48462b (diff) | |
download | build-common-eb2e6105e477f232f775dd0c0e860b2df57a6a57.tar.gz build-common-eb2e6105e477f232f775dd0c0e860b2df57a6a57.tar.bz2 build-common-eb2e6105e477f232f775dd0c0e860b2df57a6a57.zip |
prefix
Diffstat (limited to 'configure.py')
-rw-r--r-- | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index bd1b081..19e7145 100644 --- a/configure.py +++ b/configure.py @@ -124,7 +124,7 @@ def _read_prefix(): if 'DEBUG' in os.environ: logger.debug('PREFIX from environment: %s', p_myprefix) myprefix = p_myprefix - elif args.prefix: + elif args.prefix is not '/usr/local': if 'DEBUG' in os.environ: logger.debug('PREFIX from args.prefix') myprefix = args.prefix |