31 lines
740 B
Bash
31 lines
740 B
Bash
#!/bin/bash
|
|
script_dir=$(readlink -f $(dirname "$0"))
|
|
tool=$script_dir/../tooling/bin/gh_tool
|
|
|
|
set -ex
|
|
shopt -s nullglob
|
|
|
|
pushd $script_dir
|
|
|
|
mkdir -p logs
|
|
types=(auto ref fix stub)
|
|
for type in "${types[@]}"; do
|
|
if [ -d "gh_${type}" ]; then
|
|
file_list="logs/files_${type}.txt"
|
|
rm -f "$file_list"
|
|
any_files=false
|
|
for file in "gh_${type}"/*.cxx; do
|
|
echo "$file" >>"$file_list"
|
|
any_files=true
|
|
done
|
|
if [ "$any_files" = true ]; then
|
|
$tool -v --log-file=logs/log-functions-${type}.txt functions "@$file_list" --type=$type
|
|
fi
|
|
fi
|
|
done
|
|
|
|
$tool -v --log-file=logs/log-globals.txt globals gh_global.h
|
|
$tool -v --log-file=logs/log-verify.txt verify
|
|
|
|
popd
|