diff options
author | Martin Odersky <odersky@gmail.com> | 2003-08-06 16:41:30 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-08-06 16:41:30 +0000 |
commit | e1d1b2d9b8797b2af95c247f840ccb11b1857dc7 (patch) | |
tree | 64b90516b728f57d4fb6263d5711b4704f0009b3 /sources/scalac/Global.java | |
parent | 57fdd4109972ddadc83d5dbb23e50993a6359145 (diff) | |
download | scala-e1d1b2d9b8797b2af95c247f840ccb11b1857dc7.tar.gz scala-e1d1b2d9b8797b2af95c247f840ccb11b1857dc7.tar.bz2 scala-e1d1b2d9b8797b2af95c247f840ccb11b1857dc7.zip |
*** empty log message ***
Diffstat (limited to 'sources/scalac/Global.java')
-rw-r--r-- | sources/scalac/Global.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 4860eb9402..44636ff982 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -164,7 +164,6 @@ public class Global { this.start(); // timestamp to compute the total time this.noimports = args.noimports.value; this.nopredefs = args.nopredefs.value; - this.separate = args.separate.value; //this.optimize = args.optimize.optimize; this.debug = args.debug.value; this.uniqid = args.uniqid.value; @@ -174,6 +173,8 @@ public class Global { this.classPath = args.classpath(); this.outpath = args.outpath(); this.target = interpret ? TARGET_INT : args.target.value.intern(); + this.separate = args.separate.value.equals("yes") || + args.separate.value.equals("default") && !this.target.equals(TARGET_INT); this.uniqueID = new UniqueID(); String printFile = args.printfile.value; try { |