diff options
| author | paltherr <paltherr@epfl.ch> | 2003-11-19 18:50:33 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-11-19 18:50:33 +0000 |
| commit | 15d66b518f53b68182607bd2d1eae244b6023654 (patch) | |
| tree | 2c1fcf8935e7c56839f0d9b2abf8f65b2c3d5266 /sources | |
| parent | 182dce41f70ea18b4e2ff881ca5aeeeff1b152c1 (diff) | |
| download | scala-15d66b518f53b68182607bd2d1eae244b6023654.tar.gz scala-15d66b518f53b68182607bd2d1eae244b6023654.tar.bz2 scala-15d66b518f53b68182607bd2d1eae244b6023654.zip | |
- Added "bootstrap" tag in product name
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scalac/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/Main.java b/sources/scalac/Main.java index 7583f316d3..00f21908b7 100644 --- a/sources/scalac/Main.java +++ b/sources/scalac/Main.java @@ -19,7 +19,7 @@ import scalac.util.Reporter; public class Main { public static final String PRODUCT = - System.getProperty("scala.product", "socos"); + System.getProperty("scala.product", "socos") + " bootstrap"; // !!! public static final String VERSION = System.getProperty("scala.version", "unknown version"); |