devtools: fix building kernel component tags

[dpdk.git] / devtools / build-tags.sh

diff --git a/devtools/build-tags.sh b/devtools/build-tags.sh
index 753e4c2..dc037f9 100755 (executable)
--- a/devtools/build-tags.sh
+++ b/devtools/build-tags.sh
@@ -68,11 +68,13 @@ common_sources()
 linux_sources()
 {
        find_sources "lib/librte_eal/linux" '*.[chS]'
+       find_sources "kernel/linux" '*.[chS]'
 }
 
 bsd_sources()
 {
        find_sources "lib/librte_eal/freebsd" '*.[chS]'
+       find_sources "kernel/freebsd" '*.[chS]'
 }
 
 arm_common()
@@ -129,14 +131,7 @@ ppc_64_sources()
 
 check_valid_target()
 {
-       cfgfound=false
-       allconfigs=$(make showconfigs)
-       for cfg in $allconfigs ; do
-               if [ "$cfg" = "$1" ] ; then
-                       cfgfound=true
-               fi
-       done
-       if ! $cfgfound ; then
+       if [ ! -f "config/defconfig_$1" ] ; then
                echo "Invalid config: $1"
                print_usage
                exit 0