diff --git a/scripts/pkg.sh b/scripts/pkg.sh index 2684d661..90039afb 100644 --- a/scripts/pkg.sh +++ b/scripts/pkg.sh @@ -820,7 +820,10 @@ cmd_milk_install_log() in=$1 out=$2 - local filter_devel='/include/[^/]*.h$\|/include/[^/]*.hpp$\|devel\|make\|/lib[^/]*\.a$\|/lib[^/]*\.so$\|/[^/]*\.exp$\|/[^/]*\.def$\|/[^/]*\.lib$\|/[^/]*\.pc$' + 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\|/usr/lib[^/]*/pkgconfig" # TODO: simplify this case $type in