Searched refs:ns_deps_file (Results 1 – 1 of 1) sorted by relevance
32 local ns_deps_file=`echo $@ | sed -e 's/\.ko/\.ns_deps/'`33 if [ ! -f "$ns_deps_file" ]; then return; fi37 for ns in `cat $ns_deps_file`; do