From 2cbe76d296b6da13ec1a68d27bf1a036d4ed8a04 Mon Sep 17 00:00:00 2001 From: Arne Welzel Date: Wed, 11 Oct 2023 12:19:04 +0200 Subject: [PATCH] ci/update-zeekygen-docs.sh: Do output stderr by default stderr was only produced when there was a real failure as it had been a bit noisy previously, but has hidden actual problems. Now that there is less noise, just output stderr all the time. --- ci/update-zeekygen-docs.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/ci/update-zeekygen-docs.sh b/ci/update-zeekygen-docs.sh index c4722237cb..278588752b 100755 --- a/ci/update-zeekygen-docs.sh +++ b/ci/update-zeekygen-docs.sh @@ -13,7 +13,6 @@ source_dir="$(cd $dir/.. && pwd)" build_dir=$source_dir/build conf_file=$build_dir/zeekygen-test.conf output_dir=$source_dir/doc -zeek_error_file=$build_dir/zeekygen-test-stderr.txt if [ -n "$1" ]; then output_dir=$1 @@ -29,11 +28,10 @@ cd $build_dir export ZEEK_SEED_FILE=$source_dir/testing/btest/random.seed function run_zeek { - ZEEK_ALLOW_INIT_ERRORS=1 zeek -X $conf_file zeekygen >/dev/null 2>$zeek_error_file + ZEEK_ALLOW_INIT_ERRORS=1 zeek -X $conf_file zeekygen >/dev/null if [ $? -ne 0 ]; then - echo "Failed running zeek with zeekygen config file $conf_file" - echo "See stderr in $zeek_error_file" + echo "Failed running zeek with zeekygen config file $conf_file" >&2 exit 1 fi }