Merge pull request #8438 from yuhaoth/pr/disable-stdout-for-config-query-call

Disable stdout in require_*_configs_* functions
This commit is contained in:
Gilles Peskine 2023-11-20 18:27:03 +00:00 committed by GitHub
commit 8b1a124126
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -240,28 +240,28 @@ requires_config_disabled() {
}
requires_all_configs_enabled() {
if ! $P_QUERY -all $*
if ! $P_QUERY -all $* 2>&1 > /dev/null
then
SKIP_NEXT="YES"
fi
}
requires_all_configs_disabled() {
if $P_QUERY -any $*
if $P_QUERY -any $* 2>&1 > /dev/null
then
SKIP_NEXT="YES"
fi
}
requires_any_configs_enabled() {
if ! $P_QUERY -any $*
if ! $P_QUERY -any $* 2>&1 > /dev/null
then
SKIP_NEXT="YES"
fi
}
requires_any_configs_disabled() {
if $P_QUERY -all $*
if $P_QUERY -all $* 2>&1 > /dev/null
then
SKIP_NEXT="YES"
fi