From 10ce901d42a1f1306bd363dc1ff4e9ffb33b323b Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 19 Apr 2009 16:08:03 -0700
Subject: [PATCH] Meta/Dothem: detect unknown options

---
 Dothem | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dothem b/Dothem
index 38a37f2ba4..a27f221c3f 100755
--- a/Dothem
+++ b/Dothem
@@ -14,6 +14,7 @@ while	case "$1" in
 	--base=*) BUILDBASE=${1#*=} ;;
 	--branches=*) branches=${1#*=} ;;
 	-j*) jobs=$1 ;;
+	-*) echo >&2 "Unknown option: $1"; exit 1 ;;
 	*) break ;;
 	esac
 do