diff options
Diffstat (limited to 'makedist')
-rwxr-xr-x | makedist | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -4,7 +4,7 @@ cvslist() { | |||
4 | if [ "$1" ] | 4 | if [ "$1" ] |
5 | then local prefix="$1/" | 5 | then local prefix="$1/" |
6 | fi | 6 | fi |
7 | cvs list $1 | grep -v "^?" | while read line | 7 | svn list $1 | grep -v "^?" | while read line |
8 | do | 8 | do |
9 | local path="$prefix$line" | 9 | local path="$prefix$line" |
10 | echo "$path" | 10 | echo "$path" |
@@ -21,10 +21,10 @@ then | |||
21 | exit 1 | 21 | exit 1 |
22 | fi | 22 | fi |
23 | 23 | ||
24 | cvs list > /dev/null 2> /dev/null | 24 | svn list > /dev/null 2> /dev/null |
25 | if [ $? != 0 ] | 25 | if [ $? != 0 ] |
26 | then | 26 | then |
27 | echo "Your version of CVS may be too old. At least 1.12 is needed." | 27 | echo "Your version of svn may be too old." |
28 | exit 1 | 28 | exit 1 |
29 | fi | 29 | fi |
30 | 30 | ||