Commit c26a2056 authored by Stefan Marr's avatar Stefan Marr

Change binary name, and encode whether it uses a JIT compiler or not

Signed-off-by: 's avatarStefan Marr <git@stefan-marr.de>
parent 116b4798
......@@ -22,7 +22,10 @@ def entry_point(argv):
def target(driver, args):
driver.exe_name = 'som'
if driver.config.translation.jit:
driver.exe_name = 'RPySOM-jit'
else:
driver.exe_name = 'RPySOM-no-jit'
return entry_point, None
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment