chiark / gitweb /
2b5f60321efc0a23b0813fd2619eae3bf0029885
[dgit.git] / infra / ssh-wrap
1 #!/bin/sh
2 set -e
3 dispatchdir=/srv/dgit.debian.org/dispatch-dir
4 dgitlive=$dispatchdir/distro=debian/dgit-live
5 PERLLIB="$dgitlive${PERLLIB+:}${PERLLIB}" \
6 exec $dgitlive/infra/dgit-ssh-dispatch $dispatchdir