equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 |
2 |
3 # THE FIRST PARAMETER IS THE VERSION STRING |
3 # THE FIRST PARAMETER IS THE VERSION STRING |
|
4 |
|
5 if [ $# != 1 ]; then |
|
6 echo |
|
7 echo 'Usage: release version-string' |
|
8 echo |
|
9 echo "WARNING: This script modifies the repository, so don't use it unless" |
|
10 echo ' you really want to make a release' |
|
11 exit 1 |
|
12 fi |
4 |
13 |
5 set -e |
14 set -e |
6 |
15 |
7 function make-dir () { |
16 function make-dir () { |
8 if [ ! -d $1 ]; then |
17 if [ ! -d $1 ]; then |
10 fi |
19 fi |
11 } |
20 } |
12 |
21 |
13 VERSION=$1 |
22 VERSION=$1 |
14 PKGNAME='lemon' |
23 PKGNAME='lemon' |
15 VERSION_STRING='svn-head' |
24 VERSION_STRING='svnhead' |
16 |
25 |
17 make-dir release-dir |
26 make-dir release-dir |
18 cd release-dir |
27 cd release-dir |
19 |
28 |
20 echo |
29 echo |