- display alt kernel in terminal

Changed files:
    client/make-request.sh -> 1.43

diff --git a/client/make-request.sh b/client/make-request.sh
index 0b4709eaaa617a5e40ce3263a05ebedc2eae8f26..f3608d6b06e40d252d092e2494e3d26e9422cde4 100644 (file)
--- a/client/make-request.sh
+++ b/client/make-request.sh
@@ -341,7 +341,7 @@ gen_req() {
                [ "$fid" = "" ] && fid="$bid"
                name=$(echo "$s" | sed -e 's|:.*||')
                branch=$(echo "$s" | sed -e 's|.*:||')
-               echo >&2 "* Adding #$i $name:$branch"
+               echo >&2 "* Adding #$i $name:$branch${kernel:+ alt_kernel=$kernel}"
                echo "           <spec>$name</spec>"
                echo "           <branch>$branch</branch>"
                echo "           ${kernel:+<kernel>$kernel</kernel>}"