From 70ff72a16ae116e0f2844051424127ac994686c9 Mon Sep 17 00:00:00 2001 From: dcaoyuan Date: Sat, 5 Dec 2009 07:21:25 +0000 Subject: Split command line parameters by space, properl... Split command line parameters by space, properly process quoted parameter --- src/partest/scala/tools/partest/nest/TestFile.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/partest') diff --git a/src/partest/scala/tools/partest/nest/TestFile.scala b/src/partest/scala/tools/partest/nest/TestFile.scala index b8223a9202..9711b1ace8 100644 --- a/src/partest/scala/tools/partest/nest/TestFile.scala +++ b/src/partest/scala/tools/partest/nest/TestFile.scala @@ -34,7 +34,7 @@ class TestFile(kind: String, val file: File, val fileManager: FileManager, creat val reader = new BufferedReader(new java.io.FileReader(flagsFile)) val flags = reader.readLine if (flags ne null) - settings.parseParams(flags) + settings.parseParams(settings.splitParams(flags)) } } -- cgit v1.2.3