wok-6.x diff dmraid/stuff/grub-dmraid @ rev 23592

created recipe for python-pbr
author Hans-G?nter Theisgen
date Wed Apr 08 11:05:31 2020 +0100 (2020-04-08)
parents 8db9118bfcb7
children
line diff
     1.1 --- a/dmraid/stuff/grub-dmraid	Sat Sep 05 11:28:55 2009 +0200
     1.2 +++ b/dmraid/stuff/grub-dmraid	Wed Apr 08 11:05:31 2020 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  # Get raid parameters
     1.6  dev=/dev/mapper/$(dmraid -s 2> /dev/null | grep ^name | awk '{ print $3 }')
     1.7 -if [ "$dev" == "/dev/mapper/" ]; then
     1.8 +if [ "$dev" = "/dev/mapper/" ]; then
     1.9  	echo "No dmraid device found." 1>&2
    1.10  	exit 1
    1.11  fi