From 8efd80adfcd65dfea086c1008452c6424b30b78c Mon Sep 17 00:00:00 2001 From: Lasse Collin Date: Tue, 22 Apr 2025 16:21:50 +0300 Subject: [PATCH] CI: Use --disable-sandbox instead of --enable-sandbox=no It's the same thing, just a style difference. --- build-aux/ci_build.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-aux/ci_build.bash b/build-aux/ci_build.bash index d2408569..69409076 100755 --- a/build-aux/ci_build.bash +++ b/build-aux/ci_build.bash @@ -209,7 +209,7 @@ then add_extra_option "$NATIVE_LANG_SUPPORT" "" "--disable-nls" add_extra_option "$SMALL" "--enable-small" "" add_extra_option "$CLMUL" "" "--disable-clmul-crc" - add_extra_option "$SANDBOX" "" "--enable-sandbox=no" + add_extra_option "$SANDBOX" "" "--disable-sandbox" add_extra_option "$DOXYGEN" "--enable-doxygen" "" # Workaround a bug in too old config.guess. Version with