diff options
author | Mike Frysinger <vapier@gentoo.org> | 2014-08-04 10:59:23 +0100 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2014-08-04 10:59:23 +0100 |
commit | 4ec7223a2e59711bacdaa80489171933fee9a077 (patch) | |
tree | 0f8d54d678f60fccabcc9f2de2387fbe1d1b2236 | |
parent | initial 3.15 patchset based on last 3.14 patchset (diff) | |
download | linux-headers-patches-4ec7223a2e59711bacdaa80489171933fee9a077.tar.gz linux-headers-patches-4ec7223a2e59711bacdaa80489171933fee9a077.tar.bz2 linux-headers-patches-4ec7223a2e59711bacdaa80489171933fee9a077.zip |
autofetch new releases
-rwxr-xr-x | rip-headers.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rip-headers.sh b/rip-headers.sh index 5f73fdf..ba6ea77 100755 --- a/rip-headers.sh +++ b/rip-headers.sh @@ -19,6 +19,10 @@ if [ ! -d ${src} ] ; then done done fi +if [ ! -d ${src} ] ; then + wget https://www.kernel.org/pub/linux/kernel/v3.x/linux-${ver}.tar.xz -P /usr/portage/distfiles/ + exec "$0" "$@" +fi rm -rf ${dst} mkdir ${dst} |