tools/dev/starpu_check_public.sh: also look in starpu-top

tools/dev/starpu_check_public.sh

@@ -26,7 +26,7 @@ functions=$(spatch -very_quiet -sp_file tools/dev/starpu_funcs.cocci $(find incl
 for func in $functions ; do
 	fname=$(echo $func|awk -F ',' '{print $1}')
 	location=$(echo $func|awk -F ',' '{print $2}')
-	x=$(grep -rs "$fname(" examples tests mpi starpufft gcc-plugin tools src/sched_policies)
+	x=$(grep -rs "$fname(" examples tests mpi starpufft gcc-plugin tools src/sched_policies starpu-top)
 	if test "$x" == "" ; then
 	    echo "function ${redcolor}${fname}${stcolor} at location ${redcolor}$location${stcolor} is not used in any examples or tests"
 	fi