0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Made boost autodetection prefer boost in /usr to boost in $prefix.

Browse source
This commit is contained in:
Sergey Popov 2008-07-05 15:23:36 +00:00
parent 42add73555
commit 75f3b3faa7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scons/config_check_utils.py
View file

@ -14,5 +14,5 @@ def restore_env(env, backup):
def find_include(prefixes, include_file, include_subdir, default_prefixes = True):
if default_prefixes:
prefixes.extend(["/usr", "/usr/local"])
prefixes = ["/usr", "/usr/local"] + prefixes
return [(prefix, include) for prefix in prefixes for include in glob(join(prefix, "include", include_subdir, include_file))]