From 86b5afbdd4586746cb451bc07b0c73a776a42518 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= Date: Thu, 20 Jun 2024 14:27:41 +0100 Subject: [PATCH] Update URL for minion, SR is relocated --- etc/build/install-minion.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/build/install-minion.sh b/etc/build/install-minion.sh index 7c8db7e702..cc53d49e78 100755 --- a/etc/build/install-minion.sh +++ b/etc/build/install-minion.sh @@ -19,11 +19,11 @@ pushd tmp-install-minion OS=$(uname) if [ "$OS" == "Darwin" ]; then - download https://savilerow.cs.st-andrews.ac.uk/savilerow-$VERSION-mac.tgz + download https://www-users.york.ac.uk/peter.nightingale/savilerow/savilerow-$VERSION-mac.tgz tar zxf savilerow-$VERSION-mac.tgz mv savilerow-$VERSION-mac/bin/minion ${BIN_DIR}/minion elif [ "$OS" == "Linux" ]; then - download https://savilerow.cs.st-andrews.ac.uk/savilerow-$VERSION-linux.tgz + download https://www-users.york.ac.uk/peter.nightingale/savilerow/savilerow-$VERSION-linux.tgz tar zxf savilerow-$VERSION-linux.tgz mv savilerow-$VERSION-linux/bin/minion ${BIN_DIR}/minion else