diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index b04f0413..f77d24ea 100755 --- a/tools/ci-build.sh +++ b/tools/ci-build.sh @@ -477,11 +477,12 @@ case "$ci_buildsys" in ;; esac + set -- -Dmodular_tests=enabled "$@" + case "$ci_variant" in (debug) set -- -Dasserts=true "$@" set -- -Dembedded_tests=true "$@" - set -- -Dmodular_tests=enabled "$@" set -- -Dverbose_mode=true "$@" case "$ci_host" in |