From b67c221eaa2579cc582d8d59f8aef5198524b5f9 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sun, 23 Dec 2018 13:32:09 +0000 Subject: [PATCH] pkg.sh: Make filter_devel more specific Signed-off-by: Jan Lindemann --- scripts/pkg.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/pkg.sh b/scripts/pkg.sh index ba07da1d..e2fca0c9 100644 --- a/scripts/pkg.sh +++ b/scripts/pkg.sh @@ -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