diff options
| author | paltherr <paltherr@epfl.ch> | 2004-03-21 16:59:09 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-03-21 16:59:09 +0000 |
| commit | 61bf0c8f1d9ffb90f0fa543f5f654a08bfc365e0 (patch) | |
| tree | 6bab9acc51fde5bc4d5d5b542bbf23aee56c3cf9 /sources/scalac/Global.java | |
| parent | 1e69dfd7774211aa276479d7b031bcee5557d0e2 (diff) | |
| download | scala-61bf0c8f1d9ffb90f0fa543f5f654a08bfc365e0.tar.gz scala-61bf0c8f1d9ffb90f0fa543f5f654a08bfc365e0.tar.bz2 scala-61bf0c8f1d9ffb90f0fa543f5f654a08bfc365e0.zip | |
- Standardized names used in ClassPath
Diffstat (limited to 'sources/scalac/Global.java')
| -rw-r--r-- | sources/scalac/Global.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 5ae1d874ba..5d21cedff6 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -210,6 +210,7 @@ public abstract class Global { this.printtypes = args.types.value; this.printtokens = args.print.tokens; this.classPath = args.classpath(); + if (reporter.verbose) reporter.inform("classpath = " + classPath); this.outpath = args.outpath(); String encoding = args.encoding.value; Charset charset = null; |