diff options
| author | buraq <buraq@epfl.ch> | 2004-03-02 15:49:15 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2004-03-02 15:49:15 +0000 |
| commit | 4b14bbab34b0f86385c4df655fb4b954e0a79ac6 (patch) | |
| tree | 53c5a2b7b04d04a413c89dba8ed6995486a99587 /sources/scalac/Global.java | |
| parent | 483b35519a4a687e052b44fd154cf47c67626650 (diff) | |
| download | scala-4b14bbab34b0f86385c4df655fb4b954e0a79ac6.tar.gz scala-4b14bbab34b0f86385c4df655fb4b954e0a79ac6.tar.bz2 scala-4b14bbab34b0f86385c4df655fb4b954e0a79ac6.zip | |
command line switch for XML
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 bf43080129..49cbddfa2b 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -51,6 +51,7 @@ public abstract class Global { public final boolean debug; public final boolean explaintypes; public final boolean uniqid; + public final boolean xmlMarkup; public final boolean printtypes; public final boolean printtokens; @@ -188,6 +189,7 @@ public abstract class Global { //this.optimize = args.optimize.optimize; this.debug = args.debug.value; this.uniqid = args.uniqid.value; + this.xmlMarkup = args.Xmarkup.value; this.explaintypes = args.explaintypes.value; this.printtypes = args.types.value; this.printtokens = args.print.tokens; |