Escape backslash symbol in file path

This commit is contained in:
Pavel Punegov
2019-04-26 16:52:21 +03:00
committed by Pavel Punegov
parent 7e38685c95
commit 8a4f06cdaf
@@ -115,7 +115,7 @@ abstract class KonanTest extends JavaExec {
def sourcesWriter = sources.newWriter()
filesToCompile.each { f ->
sourcesWriter.write(f.chars().any { Character.isWhitespace(it) }
? "\"$f\"\n" // escape file name
? "\"${f.replace("\\", "\\\\")}\"\n" // escape file name
: "$f\n")
}
sourcesWriter.close()