diff --git a/collects/meta/drdr/copy.sh b/collects/meta/drdr/copy.sh index d98d3b3f21..71ba9b1858 100755 --- a/collects/meta/drdr/copy.sh +++ b/collects/meta/drdr/copy.sh @@ -1,2 +1,2 @@ #!/bin/bash -rsync -avz . plt-drdr:/opt/svn/drdr/ --exclude=compiled --delete --exclude=data +rsync -avz . drdr:/opt/svn/drdr/ --exclude=compiled --delete --exclude=data