From 071bc69d4d68711ece2e2800ca28c5e29913385f Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Tue, 23 Mar 2004 09:49:01 +0000
Subject: - Changed version format to <int>.<int>.<int>.<...

- Changed version format to <int>.<int>.<int>.<int>
---
 support/scripts/version-manager.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'support/scripts')

diff --git a/support/scripts/version-manager.sh b/support/scripts/version-manager.sh
index 0c7cbf66f8..9c7976872f 100644
--- a/support/scripts/version-manager.sh
+++ b/support/scripts/version-manager.sh
@@ -85,13 +85,13 @@ function version-manager() {
     # check new value syntax, if command is "set"
     if [ "$command" = "set" ]; then
         local new_value="${args[2]}";
-        if ! $program-check-syntax "$new_value-b0"; then
+        if ! $program-check-syntax "$new_value.0"; then
             local -a error;
             error[0]="version value '$new_value' does not conform";
             error[1]="to version syntax <int>.<int>.<int>";
             abort "${error[*]}";
         fi;
-        new_value="$new_value-b0";
+        new_value="$new_value.0";
     fi;
 
     # check file existence
-- 
cgit v1.2.3