diff --git a/scripts/pkg.sh b/scripts/pkg.sh index ba07da1d..e2fca0c9 100644 --- a/scripts/pkg.sh +++ b/scripts/pkg.sh @@ -956,8 +956,8 @@ cmd_milk_install_log() local out=$2 local filter_devel="/include$\|/include/$name$" - filter_devel="$filter_devel\|/include/[^/]*.h$\|/include/$name/[^/]*.h$\|/include/[^/]*.hpp$\|/include/$name/[^/]*.hpp$" - filter_devel="$filter_devel\|devel\|make\|/lib[^/]*\.a$\|/lib[^/]*\.so$\|/[^/]*\.exp$\|/[^/]*\.def$\|/[^/]*\.lib$\|/[^/]*\.pc$" + filter_devel="$filter_devel\|/include/[^/]\+\.h$\|/include/$name/[^/]\+\.h$\|/include/[^/]\+\.hpp$\|/include/$name/[^/]\+\.hpp$" + filter_devel="$filter_devel\|devel\|make\|/lib[^/]\+\.a$\|/lib[^/]\+\.so$\|/[^/]\+\.exp$\|/[^/]\+\.def$\|/[^/]\+\.lib$\|/[^/]\+\.pc$" filter_devel="$filter_devel\|/usr/lib[^/]*/pkgconfig" # TODO: simplify this