Commit dbbbd702 authored by Thorkil Naur's avatar Thorkil Naur
Browse files

Apply cmd_prefix also to the ghci way

parent 978e4ad7
...@@ -803,6 +803,11 @@ def interpreter_run( name, way, extra_hc_opts, compile_only, top_mod ): ...@@ -803,6 +803,11 @@ def interpreter_run( name, way, extra_hc_opts, compile_only, top_mod ):
rm_no_fail(errname) rm_no_fail(errname)
rm_no_fail(name) rm_no_fail(name)
if getTestOpts().cmd_prefix == '':
cmd_prefix = ''
else:
cmd_prefix = getTestOpts().cmd_prefix + ' '
if (top_mod == ''): if (top_mod == ''):
srcname = add_hs_lhs_suffix(name) srcname = add_hs_lhs_suffix(name)
else: else:
...@@ -843,7 +848,7 @@ def interpreter_run( name, way, extra_hc_opts, compile_only, top_mod ): ...@@ -843,7 +848,7 @@ def interpreter_run( name, way, extra_hc_opts, compile_only, top_mod ):
script.close() script.close()
cmd = 'cd ' + testdir + " && '" \ cmd = 'cd ' + testdir + " && " + cmd_prefix + "'" \
+ config.compiler + "' " \ + config.compiler + "' " \
+ join(config.compiler_always_flags,' ') + ' ' \ + join(config.compiler_always_flags,' ') + ' ' \
+ srcname + ' ' \ + srcname + ' ' \
......
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