diff options
-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') |