wok-undigest diff linux/stuff/devtools/up-linux.sh @ rev 1217
copied linux receipt and stuff from wok-next
author | Hans-G?nter Theisgen |
---|---|
date | Fri Nov 15 16:49:43 2019 +0100 (2019-11-15) |
parents | |
children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/linux/stuff/devtools/up-linux.sh Fri Nov 15 16:49:43 2019 +0100 1.3 @@ -0,0 +1,13 @@ 1.4 +#!/bin/sh 1.5 +# up-linux: update versions of all the packages depending on the Linux version 1.6 + 1.7 +. /lib/libtaz.sh 1.8 + 1.9 +WOK=$(cd $(dirname $0) && pwd | sed 's/wok.*/wok/') 1.10 +. $WOK/linux/receipt 1.11 + 1.12 +action 'Update packages version to %s...' "$VERSION" 1.13 +for i in $SIBLINGS; do 1.14 + sed -i "s|^VERSION=.*$|VERSION=\"$VERSION\"|" $WOK/$i/receipt 1.15 +done 1.16 +status