diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-07-22 09:27:52 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-07-22 09:27:52 +0000 |
| commit | e570d189e04924a7f2b59f4f859f642c43939a21 (patch) | |
| tree | a4d384ddb861de15a04e67b1624711c97478c204 /sources/scalac/Global.java | |
| parent | 74d350a2baff26d149e02110a9c3f079c2e03cac (diff) | |
| download | scala-e570d189e04924a7f2b59f4f859f642c43939a21.tar.gz scala-e570d189e04924a7f2b59f4f859f642c43939a21.tar.bz2 scala-e570d189e04924a7f2b59f4f859f642c43939a21.zip | |
*** empty log message ***
Diffstat (limited to 'sources/scalac/Global.java')
| -rw-r--r-- | sources/scalac/Global.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index ce18aa3bbe..ad0eed1eb7 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -36,6 +36,7 @@ public class Global { */ public final boolean noimports; public final boolean nopredefs; + public final boolean separate; //public final boolean optimize; public final boolean debug; public final boolean explaintypes; @@ -147,6 +148,7 @@ 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; |