diff --git a/scripts/pkg.sh b/scripts/pkg.sh index 476f37fd..14398725 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$\|/include/[^/]*.hpp$\|devel\|make\|/lib[^/]*\.a$\|/lib[^/]*\.so$\|/[^/]*\.exp$\|/[^/]*\.def$\|/[^/]*\.lib$\|/[^/]*\.pc$' # TODO: simplify this case $type in