diff options
author | Paul Phillips <paulp@improving.org> | 2010-03-26 04:26:03 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-03-26 04:26:03 +0000 |
commit | 2bf117c3b2545856ace3d2dd23e5fffad199bac9 (patch) | |
tree | a72d6ec99bd04abb89d89a1d49cfad036d5e7ae8 /src/compiler/scala/tools/nsc/ScriptRunner.scala | |
parent | f427b1e67d63dfe49d8b0dd25265c721ce5851cc (diff) | |
download | scala-2bf117c3b2545856ace3d2dd23e5fffad199bac9.tar.gz scala-2bf117c3b2545856ace3d2dd23e5fffad199bac9.tar.bz2 scala-2bf117c3b2545856ace3d2dd23e5fffad199bac9.zip |
Some minor I/O changes. No review.
Diffstat (limited to 'src/compiler/scala/tools/nsc/ScriptRunner.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/ScriptRunner.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/ScriptRunner.scala b/src/compiler/scala/tools/nsc/ScriptRunner.scala index 51e85eaf95..adf442fc0e 100644 --- a/src/compiler/scala/tools/nsc/ScriptRunner.scala +++ b/src/compiler/scala/tools/nsc/ScriptRunner.scala @@ -338,7 +338,7 @@ object ScriptRunner { val scriptFile = File.makeTemp("scalacmd", ".scala") // save the command to the file - scriptFile writeAll List(command) + scriptFile writeAll command try withCompiledScript(settings, scriptFile.path) { runCompiled(settings, _, scriptArgs) } finally scriptFile.delete() // in case there was a compilation error |