diff options
Diffstat (limited to 'src/ai/api/squirrel_export.sh')
| -rwxr-xr-x | src/ai/api/squirrel_export.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ai/api/squirrel_export.sh b/src/ai/api/squirrel_export.sh index 403da7f52..3e0d77e40 100755 --- a/src/ai/api/squirrel_export.sh +++ b/src/ai/api/squirrel_export.sh @@ -26,7 +26,7 @@ if [ -z "$1" ]; then for f in `ls *.hpp`; do case "${f}" in # these files should not be changed by this script - "ai_controller.hpp" | "ai_object.hpp" | "ai_types.hpp" | "ai_changelog.hpp" ) continue; + "ai_controller.hpp" | "ai_object.hpp" | "ai_types.hpp" | "ai_changelog.hpp" | "ai_info_docs.hpp" ) continue; esac ${AWK} -f squirrel_export.awk ${f} > ${f}.tmp if ! [ -f "${f}.sq" ] || [ -n "`diff -I '$Id' ${f}.tmp ${f}.sq 2> /dev/null || echo boo`" ]; then |