From bcea8942d2839b0b1e52308c7602e157e44c2d2a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Thu, 18 Jul 2013 20:34:48 +0200
Subject: [PATCH] Debian distribution name configurable.

---
 mock.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mock.sh b/mock.sh
index 51b28ef..ef1fdc0 100755
--- a/mock.sh
+++ b/mock.sh
@@ -23,7 +23,7 @@ KEY_ID=${KEY_ID:-'64FA8786'}
 top_srcdir=${top_srcdir}
 DEBREPO_MAIN=${DEBREPO_MAIN:-~/debian}
 DEBREPO_DEPS=${DEBREPO_DEPS:-~/debian-externals}
-DEBDISTRO=stable
+DEBDISTRO=${DEBDISTRO:-stable}
 #PBUILDER_OPTS='--debbuildopts "-j8"'
 
 if test "x$1" = "x-r"; then
-- 
1.8.2.3