CI: Use --disable-sandbox instead of --enable-sandbox=no

It's the same thing, just a style difference.

diff --git a/build-aux/ci_build.bash b/build-aux/ci_build.bash
index d2408569ecb37a90da21cd7ea46eb56e0c18eeb8..69409076f07b4b5ec73c814fe5198cef9dec6caf 100755 (executable)
--- 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