diff options
author | Chris Johns <chrisj@rtems.org> | 2019-09-03 17:00:42 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-09-05 09:47:01 +1000 |
commit | 72c684eff2cd932b4948e21902680a93473340c3 (patch) | |
tree | 1ad3d47f3115956c94ed2ae6425bc17159b91ff7 /tester/rt/test.py | |
parent | 89442b7c0ca75c214580046f70c5c94bdcf8dedb (diff) |
tester: Minor fix to prefix handling.
Diffstat (limited to '')
-rw-r--r-- | tester/rt/test.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tester/rt/test.py b/tester/rt/test.py index d5c7c66..ebdd7ed 100644 --- a/tester/rt/test.py +++ b/tester/rt/test.py @@ -367,12 +367,10 @@ def run(args, command_path = None): opts.defaults['exe_trace'] = debug_trace job_trace = 'jobs' in debug_trace.split(',') rtems_tools = opts.find_arg('--rtems-tools') - if rtems_tools: + if rtems_tools is not None: if len(rtems_tools) != 2: raise error.general('invalid RTEMS tools option') rtems_tools = rtems_tools[1] - else: - rtems_tools = '%{_prefix}' bsp = opts.find_arg('--rtems-bsp') if bsp is None or len(bsp) != 2: raise error.general('RTEMS BSP not provided or an invalid option') |