attempt to fix small glitches in boot.log

[bootcd.git] / plc.d / bootcd-kernel

diff --git a/plc.d/bootcd-kernel b/plc.d/bootcd-kernel
index c7d51b8..e7526fa 100755 (executable)
--- a/plc.d/bootcd-kernel
+++ b/plc.d/bootcd-kernel
@@ -23,7 +23,7 @@ case "$1" in
                pushd $i
                basearch=$(echo $i | awk -F- '{ print $NF }')
                arch=$(echo $basearch | sed 's/i386/i686/')
-               for j in /etc/planetlab/bootcd-variants/*; do
+               for j in $(ls -d /etc/planetlab/bootcd-variants/* 2> /dev/null); do
                        name="${j##*/}"
                        url=$(cat "$j" | sed "s!@BASEARCH@!$basearch!g;s!@ARCH@!$arch!g")
                        if test -d "$name"; then