chiark
/
gitweb
/
~cjwatson
/
bin.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
pull-mail: run notmuch new after fetching mail
[bin.git]
/
get-kernel
diff --git
a/get-kernel
b/get-kernel
index bd9b91691946e91ec97372b36f0d0692484b830b..a936122dfc6b4efbbd7ff67118e7786759f55432 100755
(executable)
--- a/
get-kernel
+++ b/
get-kernel
@@
-11,5
+11,5
@@
MAJOR="${1%.*}"
rm -f linux
wget -c "ftp://ftp.kernel.org/pub/linux/kernel/v$MAJOR/linux-$VERSION.tar.bz2"
tar xjvf "linux-$VERSION.tar.bz2"
-mv linux "linux-$VERSION"
+if [ -h linux ]; then mv linux "linux-$VERSION"; fi
ln -s "linux-$VERSION" linux