summaryrefslogtreecommitdiff
path: root/sources/scalac/Global.java
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2003-02-21 12:12:36 +0000
committerpaltherr <paltherr@epfl.ch>2003-02-21 12:12:36 +0000
commit5d47aa2f775f0648c9f36610de918613af12a8d3 (patch)
tree3d4a1d264c207e65f39eef369536f7acc50c4734 /sources/scalac/Global.java
parent0b68bd30b1b5101aaf3b913ab00c0af33104bf8e (diff)
downloadscala-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.java2
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;