index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | archrelease | 1 |
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 |