From e18a291428c0e0190e40849438ba51ab42b16570 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rub=C3=A9n=20Rodr=C3=ADguez?= <ruben@trisquel.info> Date: Wed, 18 Jun 2014 09:32:14 +0200 Subject: [PATCH] Changed makepackage to ignore grub2 --- makepending | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/makepending b/makepending index 952c56d2..4547c0ea 100644 --- a/makepending +++ b/makepending @@ -106,17 +106,13 @@ then # echo Current version in $DISTRO: $current 1>&2 # echo Upstream version in $UPSTREAM: $upstream 1>&2 -[ $package = "grub2" -a $UPSTREAM = natty ] && continue -[ $package = "grub2" -a $UPSTREAM = oneiric ] && continue -[ $package = "grub2" -a $UPSTREAM = precise ] && continue -[ $package = "yelp" -a $UPSTREAM = natty ] && continue echo Current version in $DISTRO: $current echo Upstream version in $UPSTREAM: $upstream [ $current = "EOL" ] && continue - if echo $package |grep -q linux-ubuntu-modules + if [ $package = "grub2" ] then - echo WARNING! linux-ubuntu-modules packages need to be manually compiled! + echo WARNING! grub2 packages need to be manually compiled! echo continue fi -- GitLab