Commit 8c38a532 authored by Konstantin Khlebnikov's avatar Konstantin Khlebnikov Committed by Michal Marek
Browse files

scripts/tags.sh: ignore code of user space tools 



User space code in tools/ often reuses names of kernel constructions,
this confuses navigation in the normal kernel code. Let's fix this mess.

Signed-off-by: default avatarKonstantin Khlebnikov <koct9i@gmail.com>
Signed-off-by: default avatarMichal Marek <mmarek@suse.cz>
parent 3005286e

scripts/tags.sh

+3 −0
Original line number Diff line number Diff line
@@ -25,6 +25,9 @@ else 
	tree=${srctree}/

fi



# ignore userspace tools

ignore="$ignore ( -path ${tree}tools ) -prune -o"



# Find all available archs

find_all_archs()

{