diff options
Diffstat (limited to 'projects')
| -rwxr-xr-x | projects/generate | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/generate b/projects/generate index ee036f467..37cbc9b57 100755 --- a/projects/generate +++ b/projects/generate @@ -56,7 +56,7 @@ safety_check() { } grep '\.h' "$ROOT_DIR/source.list" | grep -v '../objs/langs/table/strings.h' | sort > tmp.headers.source.list -find "$ROOT_DIR/src" -iname "*.h*" -and -not -iname "*svn*" -and -not -iname "*.hpp.sq" | sed "s@$ROOT_DIR/src/@@" | sort > tmp.headers.src +find "$ROOT_DIR/src" \( -iname "*.h" -or -iname "*.hpp" \) -and -not -ipath "*/.svn/*" | sed "s@$ROOT_DIR/src/@@" | sort > tmp.headers.src if [ -n "`diff tmp.headers.source.list tmp.headers.src`" ]; then echo "The following headers are missing in source.list and not in /src/ or vice versa." diff tmp.headers.source.list tmp.headers.src | grep '[<>]' | sort |