nimpretty: fixes #9384
This commit is contained in:
parent
88adf77569
commit
bd9d5787f0
2 changed files with 11 additions and 7 deletions
|
|
@ -9,7 +9,7 @@ var
|
|||
failures = 0
|
||||
|
||||
when defined(develop):
|
||||
const nimp = "bin/nimpretty".addFileExt(ExeExt)
|
||||
const nimp = "bin" / "nimpretty".addFileExt(ExeExt)
|
||||
if execShellCmd("nim c -o:$# nimpretty/nimpretty.nim" % [nimp]) != 0:
|
||||
quit("FAILURE: compilation of nimpretty failed")
|
||||
else:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue