diff options
Diffstat (limited to 'makedist')
-rwxr-xr-x | makedist | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,6 +1,6 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | cvslist() { | 3 | svnlist() { |
4 | if [ "$1" ] | 4 | if [ "$1" ] |
5 | then local prefix="$1/" | 5 | then local prefix="$1/" |
6 | fi | 6 | fi |
@@ -10,7 +10,7 @@ cvslist() { | |||
10 | echo "$path" | 10 | echo "$path" |
11 | if [ -d "$path" ] | 11 | if [ -d "$path" ] |
12 | then | 12 | then |
13 | cvslist "$path" | 13 | svnlist "$path" |
14 | fi | 14 | fi |
15 | done | 15 | done |
16 | } | 16 | } |
@@ -33,7 +33,8 @@ make clean | |||
33 | out="luarocks-$1" | 33 | out="luarocks-$1" |
34 | rm -rf "$out" | 34 | rm -rf "$out" |
35 | mkdir "$out" | 35 | mkdir "$out" |
36 | list=`cvslist` | 36 | list=`svnlist` |
37 | echo $list | ||
37 | rm -f missing_ref | 38 | rm -f missing_ref |
38 | echo "$list" | while read i | 39 | echo "$list" | while read i |
39 | do | 40 | do |