blob: f6898defa43db02cc8f88be1c5ebf2cb3b629b8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#! /bin/bash
#
# $Id$
#
# Copyright (C) 2007 by Martin Thorsen Ranang
#
if [ -z "$RELEASE_FILE" ]; then
RELEASE_FILE=RELEASE
fi
if [ -r $RELEASE_FILE ]; then
RELEASE=$(cat $RELEASE_FILE)
next_release=$(($RELEASE + 1))
echo "Increasing release number from $RELEASE to $next_release".
else
next_release=1
echo "No previous release number found. Starting with release number $next_release"
fi
echo "$next_release" > $RELEASE_FILE
|
