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 | |
parent | 182dce41f70ea18b4e2ff881ca5aeeeff1b152c1 (diff) | |
download | scala-15d66b518f53b68182607bd2d1eae244b6023654.tar.gz scala-15d66b518f53b68182607bd2d1eae244b6023654.tar.bz2 scala-15d66b518f53b68182607bd2d1eae244b6023654.zip |
- Added "bootstrap" tag in product name
-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"); |