chiark / gitweb /
Introduce --rm-old-changes to delete previous builds' changes files.
[dgit.git] / tests / ssh
1 #!/bin/sh
2 set -e
3 cd /
4 userhost="$1"; shift
5 exec sh -c "$*"