Escape file names that contain whitespaces

2019-04-16 20:10:57 +03:00
parent d029e3b730
commit 0dab2df25c
1 changed files with 5 additions and 1 deletions
@@ -112,7 +112,11 @@ abstract class KonanTest extends JavaExec {
            def sources = File.createTempFile(name,".lst")
            sources.deleteOnExit()
            def sourcesWriter = sources.newWriter()
-            filesToCompile.each {sourcesWriter << "$it\n"}
+            filesToCompile.each { f ->
+                sourcesWriter.write(f.chars().any { Character.isWhitespace(it) }
+                        ? "\"$f\"\n" // escape file name
+                        : "$f\n")
+            }
            sourcesWriter.close()
            args = ["-output", output,
                    "@${sources.absolutePath}",