diff options
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; |