#!/bin/sh [ 0 = "`id -u`" ] || exec sudo http_proxy="$http_proxy" "$0" "$@" SOURCE_BASE_DIR=/usr/src SOURCE_BASE_URI=http://www.kernel.org/pub/linux/kernel/v3.x/ usage() { echo "Usage: $0 $(help | sed -ne '3,$s/^\([^'"`printf '\t'`"']*\)'"`printf '\t'`"'.*$/\1/p' | tr '\n' '|' | sed -e 's/|/ | /g;s/ | $//')" } help() { cat <&2 exit 1 ;; esac