summaryrefslogtreecommitdiffstats
path: root/alioth-scripts
diff options
context:
space:
mode:
Diffstat (limited to 'alioth-scripts')
-rwxr-xr-xalioth-scripts/reproducible-reschedule.sh9
1 files changed, 0 insertions, 9 deletions
diff --git a/alioth-scripts/reproducible-reschedule.sh b/alioth-scripts/reproducible-reschedule.sh
deleted file mode 100755
index ee6b9c1f..00000000
--- a/alioth-scripts/reproducible-reschedule.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-
-SSH_KEY="/home/groups/reproducible/private/jenkins-key"
-SSH_KNOWN_HOSTS="/home/groups/reproducible/private/ssh_known_hosts"
-
-# "dummy" is discarded by the server ssh (jenkins.debian.net in this case) and
-# it's there because otherwise the client ssh (this) tries to parse the options
-# for the remote command
-LC_USER="$USER" ssh -i "$SSH_KEY" -o GlobalKnownHostsFile="$SSH_KNOWN_HOSTS" jenkins@jenkins.debian.net dummy "$@"