diff --git a/scripts/pkg.sh b/scripts/pkg.sh index 095b28f2..476f37fd 100644 --- a/scripts/pkg.sh +++ b/scripts/pkg.sh @@ -802,7 +802,7 @@ cmd_milk_install_log() in=$1 out=$2 - local filter_devel='/include/.*.h$\|devel\|make\|lib.*\.a$\|lib.*\.so$\|.*\.exp$\|.*\.def$\|.*\.lib$\|.*\.pc$' + local filter_devel='/include/[^/]*.h$\|devel\|make\|/lib[^/]*\.a$\|/lib[^/]*\.so$\|/[^/]*\.exp$\|/[^/]*\.def$\|/[^/]*\.lib$\|/[^/]*\.pc$' # TODO: simplify this case $type in