From eca369e8d09351bb21bcb44190d777355a186897 Mon Sep 17 00:00:00 2001
From: gord <gord@localhost>
Date: Sat, 22 Sep 2001 06:06:17 +0000
Subject: [PATCH] Report errors for unrecognized options.

---
 util/grub-install.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/util/grub-install.in b/util/grub-install.in
index 23c3e0b2b..3b58f09ec 100644
--- a/util/grub-install.in
+++ b/util/grub-install.in
@@ -170,6 +170,11 @@ for option in "$@"; do
     # This is an undocumented feature...
     --debug)
 	debug=yes ;;
+    -*)
+	echo "Unrecognized option \`$option'" 1>&2
+	usage
+	exit 1
+	;;
     *)
 	if test "x$install_device" != x; then
 	    echo "More than one install_devices?" 1>&2