*.skip files can be used to indicate patterns of files that should be
skipped for the given engine.
Signed-off-by: Jean Privat <jean@pryen.org>
--- /dev/null
+closure
+init_inherit
+init_linext
+inline
+test_ni_
--- /dev/null
+closure
+init_inherit
+init_linext
+inline
+test_ni_
need_skip()
{
test "$noskip" = true && return 1
- if grep "$engine" "sav/$1.skip" >/dev/null 2>&1; then
+ if grep "$engine" "sav/$1.skip" >/dev/null 2>&1 || echo "$1" | grep -f "$engine.skip" >/dev/null 2>&1; then
((tapcount=tapcount+1))
if [ -n "$tap" ]; then
echo "ok - $2 # skip"