diff --git a/scripts/run_linux.sh b/scripts/run_linux.sh index 78ba962..2c0eaf2 100644 --- a/scripts/run_linux.sh +++ b/scripts/run_linux.sh @@ -75,6 +75,8 @@ chmod +x make_distrib.sh if [ ${TARGETARCH} == 'amd64' ] || [ ${TARGETARCH} == 'arm64' ]; then ./make_distrib.sh linux64 else + # After frequent errors on linux32 in the readme generation script, we disable it by wiping the contents of the script + echo "print('Skipping README generation on linux32')" > make_readme.py ./make_distrib.sh linux32 fi