#!/bin/bash
script_dir=$(readlink -f $(dirname "$0"))
tool=$script_dir/../tooling/bin/r3_gh_tool

set -e

pushd $script_dir

file_list=files.txt
rm -f $file_list
for dir in gh_auto gh_stub gh_fix; do
  for file in $dir/*.cxx; do
    echo $file >>$file_list
  done
done

$tool @$file_list

popd