summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xarchrelease2
1 files changed, 1 insertions, 1 deletions
diff --git a/archrelease b/archrelease
index 59b85ec..57dc941 100755
--- a/archrelease
+++ b/archrelease
@@ -7,7 +7,7 @@ fi
if [ ! -d ../repos/$1 ]; then
pushd ..
- svn copy trunk repos/$1
+ svn copy -r HEAD trunk repos/$1
svn commit -m "archrelease: new repo $1"
popd
else