diff options
Diffstat (limited to 'numbench/confinput/xmlinput.py')
| -rw-r--r-- | numbench/confinput/xmlinput.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/numbench/confinput/xmlinput.py b/numbench/confinput/xmlinput.py index 0a44b7c..cb82e5c 100644 --- a/numbench/confinput/xmlinput.py +++ b/numbench/confinput/xmlinput.py @@ -125,6 +125,11 @@ def parseConf(fname): runenv = getEnvFromNode(t, 'runenv') # Adjust PATH + if compileenv.has_key('PATH'): + compileenv['PATH'] += ':' + os.environ['PATH'] + else: + compileenv['PATH'] = os.environ['PATH'] + if runenv.has_key('PATH'): runenv['PATH'] += ':' + os.environ['PATH'] else: |