@@ -151,12 +151,12 @@ - if [ "$config" = "wii" ]; then sudo dkp-pacman --noconfirm -Syu wii-dev; fi - if [ "$config" = "amigaos" ]; then - wget -q http://franke.ms/download/amiga-toolchain-centos.tgz; - tar -C / -xzf amiga-toolchain-centos.tgz; + wget -q https://franke.ms/download/amiga-gcc.tgz; + tar -C / -xzf amiga-gcc.tgz; fi script: - echo -e '%s/-DSTDOUT$/&_SIMPLE/\nwq' | ed -s tests/Makefile