infra: New script dgit-mirror-ssh-wrap

[dgit.git] / Makefile

diff --git a/Makefile b/Makefile
index c4f167352dc0593ea44920d16c07f001730cc304..87cff8b9bea79258568fa9fe2d83c0df9cbac18b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ GDR_MAN5PAGES=git-debrebase.5
 GDP_PROGRAMS=git-debpush
 GDP_MAN1PAGES=git-debpush.1
 
-INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch \
+INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch dgit-mirror-ssh-wrap \
        dgit-repos-policy-debian dgit-repos-admin-debian \
        dgit-repos-policy-trusting dgit-mirror-rsync
 INFRA_EXAMPLES=get-dm-txt ssh-wrap drs-cron-wrap get-suites