summaryrefslogtreecommitdiffstats
path: root/etc/cron.daily/jenkins
blob: 47e52f9b7f235d19e97027967ec14de1d9b88950 (plain)
1
2
3
4
5
6
7
8
#!/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