diff options
| -rwxr-xr-x | archrelease | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/archrelease b/archrelease index dc86d3f..2ce6f35 100755 --- a/archrelease +++ b/archrelease @@ -7,6 +7,7 @@ fi if [ ! -d ../repos/$1 ]; then pushd .. + [ -d repos ] || mkdir repos svn copy -r HEAD trunk repos/$1 svn commit -m "archrelease: new repo $1" pushd repos/$1 |