diff options
| author | Sergei Golubchik <serg@mariadb.org> | 2018-10-19 12:51:57 +0200 |
|---|---|---|
| committer | Sergei Golubchik <serg@mariadb.org> | 2018-11-06 13:36:50 +0100 |
| commit | 4990b0e1ee463d98c773429e0007b11eb335ae79 (patch) | |
| tree | 5a8aed67c030df39825c3488cb9226ced975fed1 /debian | |
| parent | 9bf8568c042c2119c93a29e4ef89a63e76a84813 (diff) | |
| download | mariadb-git-4990b0e1ee463d98c773429e0007b11eb335ae79.tar.gz | |
MDEV-17496 aws plugin is no longer built for debian/ubuntu
ping is not a reliable way to detect github's availability
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/autobake-deb.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 <<EOF >> debian/control |