From 4990b0e1ee463d98c773429e0007b11eb335ae79 Mon Sep 17 00:00:00 2001 From: Sergei Golubchik Date: Fri, 19 Oct 2018 12:51:57 +0200 Subject: MDEV-17496 aws plugin is no longer built for debian/ubuntu ping is not a reliable way to detect github's availability --- debian/autobake-deb.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian') diff --git a/debian/autobake-deb.sh b/debian/autobake-deb.sh index 4d488767a97..4e66f13615f 100755 --- a/debian/autobake-deb.sh +++ b/debian/autobake-deb.sh @@ -102,7 +102,7 @@ fi # AWS SDK also requires the build machine to have network access and git, so # it cannot be part of the base version included in Linux distros, but a pure # custom built plugin. -if [[ $GCCVERSION -gt 40800 ]] && [[ ! $TRAVIS ]] && ping -c 1 github.com +if [[ $GCCVERSION -gt 40800 ]] && [[ ! $TRAVIS ]] && wget --timeout 15 --tries 1 --quiet --output-document /dev/null https://github.com/ then cat <> debian/control -- cgit v1.2.1