diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-07-27 14:31:57 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-07-27 14:31:57 +0200 |
commit | 315ead533e3d4e67ce3908a13ebe5b75ef9060c4 (patch) | |
tree | b13a53cbace131ef2afedbd7697f724f9e674c0d /etc/cron.daily/jenkins | |
parent | 16a5099a82e9c12322e7bea561a5f43448b013d4 (diff) | |
download | jenkins.debian.net-315ead533e3d4e67ce3908a13ebe5b75ef9060c4.tar.xz |
move etc to hosts/jenkins/etc
Diffstat (limited to 'etc/cron.daily/jenkins')
-rwxr-xr-x | etc/cron.daily/jenkins | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/etc/cron.daily/jenkins b/etc/cron.daily/jenkins deleted file mode 100755 index 47e52f9b..00000000 --- a/etc/cron.daily/jenkins +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -# this is needed as this IP address has to be hardcoded in /etc/apache2/sites-available/jenkins.debian.net - -if [ "$(host git.debian.org|head -1)" != "git.debian.org has address 5.153.231.21" ] ; then - echo "IP address of git.debian.org has changed, please update etc/apache2/sites-available/jenkins.debian.net and etc/cron.daily/jenkins in jenkins.debian.net.git" - host git.debian.org -fi |