wok rev 7110

Fixed get-linux-source script in linux-source.
author Christopher Rogers <slaxemulator@gmail.com>
date Wed Nov 03 18:05:23 2010 +0000 (2010-11-03)
parents 1a79ce82bee5
children ece2283751f8
files linux-source/stuff/get-linux-source
line diff
     1.1 --- a/linux-source/stuff/get-linux-source	Wed Nov 03 06:33:29 2010 +0000
     1.2 +++ b/linux-source/stuff/get-linux-source	Wed Nov 03 18:05:23 2010 +0000
     1.3 @@ -5,11 +5,15 @@
     1.4  
     1.5  url=$(cat /usr/src/kernel-patches/url)
     1.6  
     1.7 +if [ ! -d $SOURCES_REPOSITORY ]; then
     1.8 +	mkdir -p $SOURCES_REPOSITORY
     1.9 +fi
    1.10 +
    1.11  if [ -f $SOURCES_REPOSITORY/$(basename $url) ]; then
    1.12  	cd /usr/src/
    1.13  	tar xjf $(basename $url)
    1.14  else
    1.15 -	wget -O $SOURCES_REPOSITORY/$(basename $url) 
    1.16 +	wget -O $SOURCES_REPOSITORY/$(basename $url) -c $url
    1.17  	cd /usr/src/
    1.18  	tar xjf $(basename $url)
    1.19  fi