#!/bin/bash -eux cd "$( dirname "${BASH_SOURCE[0]}" )/.." version=${1-bb0c9f21f4a6f56f2fe8d7c1fc991080ef89d223} upstream_path=./dnspython-${version} if [[ ! -d "${upstream_path}" ]]; then curl -L -odnspython.zip "https://github.com/rthalley/dnspython/archive/${version}.zip" unzip dnspython.zip rm dnspython.zip fi rm -rf eventlet/support/dns # patch --directory=eventlet/support -p1 --normal --forward -r/dev/null <./dns.patch mv ${upstream_path}/dns eventlet/support/ rm -rf ${upstream_path}