This commit is contained in:
rdb 2013-04-12 18:51:01 +00:00
parent 78d3b4095b
commit 790907aee0

View File

@ -1340,7 +1340,7 @@ def PkgConfigGetIncDirs(pkgname, tool = "pkg-config"):
if (opt.startswith("-I")):
inc_dir = opt.replace("-I", "").replace("\"", "").strip()
# Hack for ODE, otherwise -S/usr/include gets added to interrogate
if inc_dir != '/usr/include' or inc_dir != '/usr/include/':
if inc_dir != '/usr/include' and inc_dir != '/usr/include/':
dirs.append(inc_dir)
return dirs