Lines Matching refs:option
11 # (at your option) any later version.
67 echo "$0: option requires an argument -- '$opt'" 1>&2
76 option=$1
79 case "$option" in
87 grub_cfg=`argument $option "$@"`; shift;;
89 grub_cfg=`echo "$option" | sed 's/--output=//'`
92 GRUB_PREFIX=`argument $option "$@"`; shift;;
94 GRUB_PREFIX=`echo "$option" | sed 's/--prefix=//'`
97 echo "Unrecognized option \`$option'" 1>&2
101 # Explicitly ignore non-option arguments, for compatibility.