diff options
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/workflows/build_test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build_test.sh b/.github/workflows/build_test.sh index c90044c9a8..2c7177b27b 100755 --- a/.github/workflows/build_test.sh +++ b/.github/workflows/build_test.sh @@ -9,7 +9,7 @@ success() { echo >&2 -e "\033[32;1m$1\033[0m"; } ARGS=( "--optimization=0" - "--optimization=s -Dgnu-efi=true -Defi-cflags=-m32 -Defi-libdir=/usr/lib32" + "--optimization=s -Dbootloader=true -Defi-cflags=-m32" "--optimization=3 -Db_lto=true -Ddns-over-tls=false" "--optimization=3 -Db_lto=false" "--optimization=3 -Ddns-over-tls=openssl" |