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

/device/google/dragon-kernel/
H A Dpush-kernel.sh7 echo usage: $0 [artifact_path] [rootdir] [kernel_path]
11 echo kernel_path=src/partner_private/nvidia-kernel
20 kernel_path="$3"
21 if [ -z "$kernel_path" ]; then
22 kernel_path="src/third_party/kernel/v3.18"
65 newrev=$(gsutil.py cat ${gspath}/manifest.xml | grep "path=\"${kernel_path}\"" | sed -e 's/.*revision="\([0123456789abcdef]\+\).*/\1/')

Completed in 20 milliseconds