Verified Commit 8561c5d4 authored by Camil Staps's avatar Camil Staps 🐧

When executable name ends in .exe, remove this from generated bytecode file name

parent bc1ed4c9
Pipeline #23194 passed with stage
in 55 seconds
......@@ -154,7 +154,12 @@ doProjectAction cleanhome pwd pn (SetExec exec) world
= withProject pwd pn cleanhome (PR_SetExecPath exec) world
doProjectAction cleanhome pwd pn (SetBytecode Nothing) world
= withProject pwd pn cleanhome (\p->PR_SetByteCodePath (PR_GetExecPath p +++ ".bc") p) world
= withProject pwd pn cleanhome (\p->PR_SetByteCodePath (bytecode_path (PR_GetExecPath p)) p) world
where
bytecode_path exec_path
| exec_path % (size exec_path-4,size exec_path-1) == ".exe"
= exec_path % (0,size exec_path-4) +++ "bc"
= exec_path +++ ".bc"
doProjectAction cleanhome pwd pn (SetBytecode (Just bcfile)) world
= withProject pwd pn cleanhome (PR_SetByteCodePath bcfile) world
......
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