File indexing completed on 2025-01-18 09:10:43
0001
0002
0003 set -e
0004
0005 output_dir=$1
0006 shift
0007 build_dir=$1
0008 shift
0009
0010 mkdir -p $output_dir
0011 output_dir=$(realpath $output_dir)
0012
0013 pushd $build_dir
0014 NINJA_STATUS="[ninja] [%f/%t] " ninja $@ | tee $output_dir/ninja.log
0015 popd
0016
0017
0018 set +e
0019 rm $output_dir/clang-tidy.log
0020 cat $output_dir/ninja.log | grep -v '\[ninja\]' > $output_dir/clang-tidy.log
0021 set -e
0022
0023 if [ ! -f $output_dir/clang-tidy.log ]; then
0024 exit 1
0025 fi
0026
0027 exit 0