This commit is contained in:
2025-05-29 23:59:05 +08:00
parent 35a220de3f
commit 4a669d86b7
12 changed files with 5901 additions and 655 deletions

View File

@@ -3,20 +3,24 @@ script_dir=$(readlink -f $(dirname "$0"))
tool=$script_dir/../tooling/bin/r3_gh_tool
set -e
shopt -s nullglob
pushd $script_dir
mkdir -p logs
types=(auto ref fix stub)
for type in "${types[@]}"; do
file_list="logs/files_${type}.txt"
rm -f "$file_list"
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
$tool "@$file_list" -v --type=$type --log-file=logs/log-functions-${type}.txt
if [ "$any_files" = true ]; then
$tool "@$file_list" -v --type=$type --log-file=logs/log-functions-${type}.txt
fi
fi
done