From f28ae04e3d0c3d8531279d8ec495d439b7116d85 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Wed, 16 Nov 2016 11:36:40 +0000 Subject: [PATCH] pkg.sh: Corrected devel package file filter Signed-off-by: Jan Lindemann --- scripts/pkg.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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