diff --git a/Tools/autotest/dump_logs.py b/Tools/autotest/dump_logs.py old mode 100644 new mode 100755 diff --git a/Tools/autotest/pysim/util.py b/Tools/autotest/pysim/util.py index 88443dd3fb..da5a07b5c6 100644 --- a/Tools/autotest/pysim/util.py +++ b/Tools/autotest/pysim/util.py @@ -122,7 +122,10 @@ def start_SIL(atype, valgrind=False, wipe=False, height=None): cmd="" if valgrind and os.path.exists('/usr/bin/valgrind'): cmd += 'valgrind -q --log-file=%s-valgrind.log ' % atype - cmd += reltopdir('tmp/%s.build/%s.elf' % (atype, atype)) + executable = 'tmp/%s.build/%s.elf' % (atype, atype) + if not os.path.exists(executable): + executable = '/tmp/%s.build/%s.elf' % (atype, atype) + cmd += executable if wipe: cmd += ' -w' if height is not None: