chiark / gitweb /
add edd_id tool to match BIOS EDD disk information
[elogind.git] / test / simple-build-check.sh
index 0112ef78e217a849adb7c17992eac80bfdd2044a..27e5c93d90d24caccc27b86f0de85404ecca7332 100755 (executable)
@@ -8,6 +8,7 @@ EXTRAS="\
        extras/usb_id \
        extras/dasd_id \
        extras/cdrom_id \
+       extras/edd_id \
        extras/floppy \
        extras/run_directory \
        extras/firmware"
@@ -36,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 "build test completed successfully"