X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=blobdiff_plain;f=get-kernel;h=a936122dfc6b4efbbd7ff67118e7786759f55432;hb=c04da2fd73060e5678d75a92cb20f7a5c19ebb54;hp=bd9b91691946e91ec97372b36f0d0692484b830b;hpb=38f30f39d04f87b1b30d635378d026856504147a;p=bin.git

diff --git a/get-kernel b/get-kernel
index bd9b916..a936122 100755
--- 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