2008-07-18 12:15:21 +02:00
|
|
|
#! /bin/sh
|
2008-09-15 00:58:04 +02:00
|
|
|
prefix=rc6.
|
2008-07-18 12:15:21 +02:00
|
|
|
suffix=
|
|
|
|
if [ "$3" = kernel-dummy -o -n "$suffix" ]; then
|
|
|
|
[ -n "$suffix" ] || suffix=$2
|
|
|
|
while [ "$suffix" != "${suffix#[^0-9]*.}" ]; do
|
|
|
|
suffix=${suffix#[^0-9]*.}
|
|
|
|
done
|
|
|
|
echo $prefix$suffix
|
|
|
|
else
|
|
|
|
echo "pkg:kernel-dummy"
|
|
|
|
fi
|