diff --git a/ci/download-df.sh b/ci/download-df.sh index 399b75714b..7c403d4a92 100755 --- a/ci/download-df.sh +++ b/ci/download-df.sh @@ -8,6 +8,9 @@ set -e minor=$(echo "$DF_VERSION" | cut -d. -f1) patch=$(echo "$DF_VERSION" | cut -d. -f2) +if [ "$DF_VERSION" = "51.03" ]; then + patch=02 +fi df_url="https://www.bay12games.com/dwarves/df_${minor}_${patch}" if test "$OS_TARGET" = "windows"; then WGET="C:/msys64/usr/bin/wget.exe"