diff options
| author | schinz <schinz@epfl.ch> | 2003-03-14 14:25:03 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2003-03-14 14:25:03 +0000 |
| commit | 188dd82f8686160eca63ece4658016fbdbd5d388 (patch) | |
| tree | 983ede5e5651376962272c7b86b7cfd87d858972 /sources | |
| parent | f4a43858e8629180a3ccbae1202514266ea6db07 (diff) | |
| download | scala-188dd82f8686160eca63ece4658016fbdbd5d388.tar.gz scala-188dd82f8686160eca63ece4658016fbdbd5d388.tar.bz2 scala-188dd82f8686160eca63ece4658016fbdbd5d388.zip | |
- print names of generated files when -verbose ...
- print names of generated files when -verbose is enabled
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scalac/backend/jvm/GenJVM.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sources/scalac/backend/jvm/GenJVM.java b/sources/scalac/backend/jvm/GenJVM.java index 156e36d83f..9c8020b5d5 100644 --- a/sources/scalac/backend/jvm/GenJVM.java +++ b/sources/scalac/backend/jvm/GenJVM.java @@ -1220,7 +1220,9 @@ class JVMGenerator { addScalaAttr(currClass); JavaClass cls = currClass.getJavaClass(); try { - cls.dump(javaFileName(cls.getClassName())); + String fileName = javaFileName(cls.getClassName()); + cls.dump(fileName); + global.operation("wrote " + fileName); } catch (java.io.IOException e) { throw global.fail(e.getMessage()); } |