add edd_id tool to match BIOS EDD disk information

[elogind.git] / test / simple-build-check.sh

diff --git a/test/simple-build-check.sh b/test/simple-build-check.sh
index 7e9a940f859c1f706e3f4e1f807da81162e8fa8c..27e5c93d90d24caccc27b86f0de85404ecca7332 100755 (executable)
--- a/test/simple-build-check.sh
+++ b/test/simple-build-check.sh
@@ -7,7 +7,11 @@ EXTRAS="\
        extras/volume_id \
        extras/usb_id \
        extras/dasd_id \
        extras/volume_id \
        extras/usb_id \
        extras/dasd_id \

-       extras/run_directory"
+       extras/cdrom_id \
+       extras/edd_id \
+       extras/floppy \
+       extras/run_directory \
+       extras/firmware"

 
 [ -z "$KERNEL_DIR" ] && KERNEL_DIR=/lib/modules/`uname -r`/build
 echo KERNEL_DIR: "$KERNEL_DIR"
 
 [ -z "$KERNEL_DIR" ] && KERNEL_DIR=/lib/modules/`uname -r`/build
 echo KERNEL_DIR: "$KERNEL_DIR"


@@ -33,4 +37,3 @@ make all $MAKEOPTS USE_KLIBC=true USE_LOG=false EXTRAS="$EXTRAS" KERNEL_DIR="$KE
 echo -e "\n\n"
 
 make spotless EXTRAS="$EXTRAS" >/dev/null
 echo -e "\n\n"
 
 make spotless EXTRAS="$EXTRAS" >/dev/null

-echo "build test completed successfully"