[snapshot/master] exit if backing-store is not a dir, do not just complain

[Peter Palfrader <peter@palfrader.org>]

---
 misc/dump-tools/add-dump-to-git |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/misc/dump-tools/add-dump-to-git b/misc/dump-tools/add-dump-to-git
index 1475f02..ffe1298 100755
--- a/misc/dump-tools/add-dump-to-git
+++ b/misc/dump-tools/add-dump-to-git
@@ -47,6 +47,7 @@ if len(args) == 0:
 
 if not os.path.isdir(options.backing_git):
     print >> sys.stderr, "Error: %s does not exist or is not a directory."%(backing)
+    sys.exit(1)
 
 basedir = os.getcwd()
 for dumpfilename in args:
-- 
1.7.2.3