Searched refs:kernsrc (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/tools/debugscripts/
H A Dkgdb56 kernsrc="`awk 'i == 1 { split($0, a, ":"); print a[2]; i = 0 } $1 == "Versionstring:" { i = 1 }' < "$info"`"
61 echo "Kernel Source: $kernsrc"
63 python $kld_debpy "$kernsrc" "$core" $@ > "$tmpfile" &&
66 (cd "$kernsrc"; kgdb "$kernsrc/kernel.debug" "$core")

Completed in 60 milliseconds