Fix #102407.
authorTim Yamin <plasmaroo@gentoo.org>
Mon, 15 Aug 2005 20:33:52 +0000 (20:33 +0000)
committerTim Yamin <plasmaroo@gentoo.org>
Mon, 15 Aug 2005 20:33:52 +0000 (20:33 +0000)
git-svn-id: svn+ssh://svn.gentoo.org/var/svnroot/genkernel/trunk@306 67a159dc-881f-0410-a524-ba9dfbe2cb84

gen_cmdline.sh

index d328970130868a3ffab4f293462a2ebae78b5a13..9d4bdf46d0a784ccc4748c8f2ee5f41450ea2b9a 100755 (executable)
@@ -202,11 +202,17 @@ parse_cmdline() {
                      CMD_NO_BUSYBOX=1
                      print_info 2 "CMD_NO_BUSYBOX: $CMD_NO_BUSYBOX"
              ;;
-                 --bladecenter)
+             --bladecenter)
                      CMD_BLADECENTER=1
-                         print_info 2 "CMD_BLADECENTER: $CMD_BLADECENTER"
-                 ;;
+                     print_info 2 "CMD_BLADECENTER: $CMD_BLADECENTER"
+             ;;
              --dmraid)
+                     if [ ! -e /usr/include/libdevmapper.h ]
+                     then
+                       echo 'Error: --dmraid requires device-mapper to be installed'
+                       echo '       on the host system; try "emerge device-mapper".'
+                       exit 1
+                     fi
                      CMD_DMRAID=1
                      print_info 2 "CMD_DMRAID: $CMD_DMRAID"
              ;;
@@ -225,9 +231,9 @@ parse_cmdline() {
 
                      if [[ TERM_LINES -lt 19 || TERM_COLUMNS -lt 80 ]]
                      then
-                             echo "Error: You need a terminal with at least 80 columns"
-                             echo "       and 19 lines for --menuconfig; try --nomenuconfig..."
-                             exit 1
+                       echo "Error: You need a terminal with at least 80 columns"
+                       echo "       and 19 lines for --menuconfig; try --nomenuconfig..."
+                       exit 1
                      fi
                      CMD_MENUCONFIG=1
                      print_info 2 "CMD_MENUCONFIG: $CMD_MENUCONFIG"