Commit 5ba7aba1 authored by Simon Marlow's avatar Simon Marlow
Browse files

Add space after -ignore-dot-ghci

pointed out by Claus Reinke
parent 5951c536
......@@ -604,7 +604,7 @@ def ghci_script( name, way, script ):
cmd = "HC='" + config.compiler + "' " + \
"HC_OPTS='" + join(flags,' ') + "' " + \
"'" + config.compiler + "'" + \
' --interactive -v0 -ignore-dot-ghci' + \
' --interactive -v0 -ignore-dot-ghci ' + \
join(flags,' ')
getTestOpts().stdin = script
......
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