mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-24 16:19:22 +00:00
Report errors for unrecognized options.
This commit is contained in:
1 parent
e9d94149ef
commit
eca369e8d0
1 file changed
+5
@@ -170,6 +170,11 @@ for option in "$@"; do
|
|||||||
# This is an undocumented feature...
|
# This is an undocumented feature...
|
||||||
--debug)
|
--debug)
|
||||||
debug=yes ;;
|
debug=yes ;;
|
||||||
|
-*)
|
||||||
|
echo "Unrecognized option \`$option'" 1>&2
|
||||||
|
usage
|
||||||
|
exit 1
|
||||||
|
;;
|
||||||
*)
|
*)
|
||||||
if test "x$install_device" != x; then
|
if test "x$install_device" != x; then
|
||||||
echo "More than one install_devices?" 1>&2
|
echo "More than one install_devices?" 1>&2
|
||||||
|
|||||||
Reference in new issue
Block a user