diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index a3934136..e5f3eb3b 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -55,7 +55,7 @@ public class Prism implements PrismSettingsListener /** Optional PRISM version suffix (e.g. "dev", "beta"). Read from prism.Version. */ private static String versionSuffix = prism.Version.versionSuffixString; - /** Build number (e.g. "r6667"). Defaults to "" (undefined), read from prism.Revision class if present. */ + /** Build number (e.g. "6667"). Defaults to "" (undefined), read from prism.Revision class if present. */ private static String buildNumber = ""; static { try { @@ -569,7 +569,7 @@ public class Prism implements PrismSettingsListener v += "." + versionSuffix; // In this case, also append any build number if (buildNumber.length() > 0) - v += "." + buildNumber; + v += ".r" + buildNumber; } return v; } diff --git a/prism/src/scripts/printversion.sh b/prism/src/scripts/printversion.sh index ace99214..3a53d30d 100755 --- a/prism/src/scripts/printversion.sh +++ b/prism/src/scripts/printversion.sh @@ -23,7 +23,7 @@ if [ -f "$SRC_DIR"/prism/Version.java ]; then if [ -f "$SRC_DIR"/prism/Revision.java ]; then REVISION_SVN=`grep svnRevision "$SRC_DIR"/prism/Revision.java | sed -E 's/[^"]+"([^"]*)"[^"]+/\1/'` if [ "$REVISION_SVN" != "" ]; then - /bin/echo -n ".$REVISION_SVN" + /bin/echo -n ".r$REVISION_SVN" fi fi fi