From 790907aee0c76ab4ec479455786a8bf0946a7733 Mon Sep 17 00:00:00 2001 From: rdb Date: Fri, 12 Apr 2013 18:51:01 +0000 Subject: [PATCH] oops fix --- makepanda/makepandacore.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makepanda/makepandacore.py b/makepanda/makepandacore.py index bc475a366d..61c926596d 100644 --- a/makepanda/makepandacore.py +++ b/makepanda/makepandacore.py @@ -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