diff options
| -rwxr-xr-x | dtools/bin/check-tarball-h-files | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dtools/bin/check-tarball-h-files b/dtools/bin/check-tarball-h-files index f94832c2d..1f808cb04 100755 --- a/dtools/bin/check-tarball-h-files +++ b/dtools/bin/check-tarball-h-files @@ -10,11 +10,12 @@ fi path=${tarball%%.tar.gz} tar tzf $tarball \ - | grep -E '\.(h|py|v)$' \ + | grep -E '\.(h|py|v|vh)$' \ | sed -e "s/$path/./" \ | sort >/tmp/tarball-h-files -find . \( -name '*.h' -o -name '*.py' \) -print | grep -v ./$path | sort >/tmp/build-h-files +find . \( -name '*.h' -o -name '*.py' -o -name '*.v' -o -name '*.vh' \) -print \ + | grep -v ./$path | sort >/tmp/build-h-files comm -23 /tmp/build-h-files /tmp/tarball-h-files |