Harald Welte 6657ba7889 Use ftp.debian.org as a "blind workaround" for trouble with ftp.de ... We get a lot of build failures recently like this: Step 3/4 : ADD http://ftp.de.debian.org/debian/dists/stretch/Release /tmp/Release ADD failed: Get http://ftp.de.debian.org/debian/dists/stretch/Release: dial tcp 141.76.2.4:80: i/o timeout ../make/Makefile:44: recipe for target 'docker-build' failed make: *** [docker-build] Error 1 make: Leaving directory '<https://jenkins.osmocom.org/jenkins/job/ttcn3-sip-test/ws/debian-stretch-build'> + exit 1 Let's hope that this works around the connectivity problems with ftp.de.debian.org Change-Id: I5a0eb058d95372c44fce042de90c4127a3021a93		2019-04-17 09:10:48 +02:00
..
.release	bumped to version 0.3.0	2017-08-27 08:53:44 +02:00
Dockerfile	Use ftp.debian.org as a "blind workaround" for trouble with ftp.de	2019-04-17 09:10:48 +02:00
Makefile	introduce makefile based build	2017-08-19 19:42:45 +02:00