1 files changed, 1 insertions, 1 deletions
diff --git a/tools/svnversion.sh b/tools/svnversion.sh
index 8fe9804622..71d17dbfcf 100755
--- a/tools/svnversion.sh
+++ b/tools/svnversion.sh
@@ -30,7 +30,7 @@ svnversion_safe() {
                 if [ -z "$OUTPUT" ]; then
                     echo "unknown"
                 else
-                    echo "r$OUTPUT"
+                    echo "r$OUTPUT-3.1"
                 fi
             else # not a git repository
                 echo "unknown"