mirror of
ssh://git.janware.com/srv/git/janware/proj/jw-pkg
synced 2026-01-15 12:03:31 +01:00
pkg.sh: Corrected devel package file filter
Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
parent
161f71dea6
commit
f28ae04e3d
1 changed files with 4 additions and 1 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue