Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

ci/update-zeekygen-docs.sh: Do output stderr by default

Browse source 
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.
This commit is contained in:
Arne Welzel 2023-10-11 12:19:04 +02:00
parent 6f3e3a10e6
commit 2cbe76d296
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ci/update-zeekygen-docs.sh
View file

@ -13,7 +13,6 @@ source_dir="$(cd $dir/.. && pwd)"
build_dir=$source_dir/build build_dir=$source_dir/build
conf_file=$build_dir/zeekygen-test.conf conf_file=$build_dir/zeekygen-test.conf
output_dir=$source_dir/doc output_dir=$source_dir/doc
zeek_error_file=$build_dir/zeekygen-test-stderr.txt
if [ -n "$1" ]; then if [ -n "$1" ]; then
output_dir=$1 output_dir=$1
@ -29,11 +28,10 @@ cd $build_dir
export ZEEK_SEED_FILE=$source_dir/testing/btest/random.seed export ZEEK_SEED_FILE=$source_dir/testing/btest/random.seed
function run_zeek { 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 if [ $? -ne 0 ]; then
echo "Failed running zeek with zeekygen config file $conf_file" echo "Failed running zeek with zeekygen config file $conf_file" >&2
echo "See stderr in $zeek_error_file"
exit 1 exit 1
fi fi
} }