wok-current diff linux-libre/stuff/check_modules.sh @ rev 21582

Use python-setuptools as bdeps (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun May 19 19:45:04 2019 +0200 (2019-05-19)
parents d51bf7b42b2a
children
line diff
     1.1 --- a/linux-libre/stuff/check_modules.sh	Thu Mar 14 10:38:19 2013 +0100
     1.2 +++ b/linux-libre/stuff/check_modules.sh	Sun May 19 19:45:04 2019 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  #WOK=$LOCAL_REPOSITORY/wok
     1.5  WOK=$(cd `dirname $0` && pwd | sed 's/wok.*/wok/')
     1.6  VERSION=`grep  ^VERSION= $WOK/linux-libre/receipt | cut -d "=" -f2 | sed -e 's/"//g'`
     1.7 -src="$WOK/linux-libre/source/linux-$VERSION"
     1.8 +src="$WOK/linux-libre/source/linux-libre-$VERSION"
     1.9  
    1.10  cd $src
    1.11  tmp=$WOK/${PACKAGE:-linux-libre}/tmp