diff options
| author | Guido van Rossum <guido@python.org> | 1998-12-17 18:02:15 +0000 |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1998-12-17 18:02:15 +0000 |
| commit | 5cd975c67883215472cf76b9ca48133bc80f0646 (patch) | |
| tree | 9188537677976aeeb9681f02b9c0df6b82a904c4 | |
| parent | fc4966b7af0cc34289f217613e0ef53c8b56b39b (diff) | |
| download | cpython-git-5cd975c67883215472cf76b9ca48133bc80f0646.tar.gz | |
Patch by Chris Herborth:
BeOS headers live in various non-standard places;
luckily, there's an environment variable that lists them all.
| -rwxr-xr-x | Tools/scripts/h2py.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Tools/scripts/h2py.py b/Tools/scripts/h2py.py index 513fa4bd78..fd4b2670bc 100755 --- a/Tools/scripts/h2py.py +++ b/Tools/scripts/h2py.py @@ -46,7 +46,13 @@ except KeyError: try: searchdirs=string.splitfields(os.environ['INCLUDE'],';') except KeyError: - searchdirs=['/usr/include'] + try: + if string.find( sys.platform, "beos" ) == 0: + searchdirs=string.splitfields(os.environ['BEINCLUDES'],';') + else: + raise KeyError + except KeyError: + searchdirs=['/usr/include'] def main(): global filedict |