update archive site to build 1.5

This commit is contained in:
David Hauck 2020-05-21 10:19:54 -07:00
parent 46f000c5a3
commit baf512ffa3
1 changed files with 2 additions and 2 deletions

View File

@ -59,13 +59,13 @@ for rel in "${TOBUILD[@]}"; do
echo "### Building '${NAME}' from ${TAG} for ${URL}"
git checkout "${TAG}"
if [[ "${TAG}" == "release-1.2" || "${TAG}" == "release-1.3" ]]; then
if [[ "${TAG}" == "release-1.2" || "${TAG}" == "release-1.3" || "${TAG}" == "release-1.5" ]]; then
scripts/build_site.sh
fi
scripts/gen_site.sh "${URL}"
if [[ "${TAG}" != "release-0.8" && "${TAG}" != "release-1.0" && "${TAG}" != "release-1.1" && "${TAG}" != "release-1.2" && "${TAG}" != "release-1.3" && "${TAG}" == "release-1.4" && "${TAG}" == "release-1.5" ]]; then
if [[ "${TAG}" != "release-0.8" && "${TAG}" != "release-1.0" && "${TAG}" != "release-1.1" && "${TAG}" != "release-1.2" && "${TAG}" != "release-1.3" && "${TAG}" == "release-1.4" ]]; then
scripts/build_site.sh
fi