janware/jw-pkg
1
mirror of ssh://git.janware.com/srv/git/janware/proj/jw-pkg synced 2026-01-15 12:03:31 +01:00
Code Activity

pkg.sh: Make filter_devel more specific

Browse source 
Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2018-12-23 13:32:09 +00:00
commit b67c221eaa
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/pkg.sh
View file

@ -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