Commit 64b63891 authored by Simon Marlow's avatar Simon Marlow

Add normalise_exe for removing ".exe" extensions in output on Windows

parent d2420013
......@@ -455,6 +455,9 @@ def _compile_cmd_prefix( opts, prefix ):
def normalise_slashes( opts ):
opts.extra_normaliser = normalise_slashes_
def normalise_exe( opts ):
opts.extra_normaliser = normalise_exe_
def normalise_fun( fun ):
return lambda opts, f=fun: _normalise_fun(opts, f)
......@@ -1587,6 +1590,10 @@ def normalise_slashes_( str ):
str = re.sub('\\\\', '/', str)
return str
def normalise_exe_( str ):
str = re.sub('\.exe', '', str)
return str
def normalise_output( str ):
# Remove a .exe extension (for Windows)
# This can occur in error messages generated by the program.
......
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