Lines Matching refs:option
9 # (at your option) any later version.
81 echo "$0: option requires an argument -- '$opt'" 1>&2
90 option=$1
93 case "$option" in
102 modules=`argument $option "$@"`; shift;;
104 modules=`echo "$option" | sed 's/--modules=//'` ;;
107 rootdir=`argument $option "$@"`; shift;;
109 rootdir=`echo "$option" | sed 's/--net-directory=//'` ;;
112 subdir=`argument $option "$@"`; shift;;
114 subdir=`echo "$option" | sed 's/--subdir=//'` ;;
117 grub_mkimage=`argument $option "$@"`; shift;;
119 grub_mkimage=`echo "$option" | sed 's/--grub-mkimage=//'` ;;
125 debug_image=`argument $option "$@"`; shift;;
127 debug_image=`echo "$option" | sed 's/--debug-image=//'` ;;
131 override_dir=`argument $option "$@"`
137 override_dir=`echo "${option}/" | sed 's/--override-directory=//'`
143 echo "Unrecognized option \`$option'" 1>&2
153 install_device="${option}" ;;