diff options
author | paltherr <paltherr@epfl.ch> | 2003-02-21 12:12:36 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-02-21 12:12:36 +0000 |
commit | 5d47aa2f775f0648c9f36610de918613af12a8d3 (patch) | |
tree | 3d4a1d264c207e65f39eef369536f7acc50c4734 /sources/scalac/Global.java | |
parent | 0b68bd30b1b5101aaf3b913ab00c0af33104bf8e (diff) | |
download | scala-5d47aa2f775f0648c9f36610de918613af12a8d3.tar.gz scala-5d47aa2f775f0648c9f36610de918613af12a8d3.tar.bz2 scala-5d47aa2f775f0648c9f36610de918613af12a8d3.zip |
- Added flag -nopredefs
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 e4fea8429d..e7ea1e9d27 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -30,6 +30,7 @@ public class Global { /** global options */ public final boolean noimports; + public final boolean nopredefs; //public final boolean optimize; public final boolean debug; public final boolean uniqid; @@ -136,6 +137,7 @@ public class Global { this.reporter = args.reporter(); this.start(); // timestamp to compute the total time this.noimports = args.noimports.value; + this.nopredefs = args.nopredefs.value; //this.optimize = args.optimize.optimize; this.debug = args.debug.value; this.uniqid = args.uniqid.value; |