From a56189f163077f9d2e43b70d253c524c8c219a7d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Wed, 17 Apr 2013 17:31:12 +0200
Subject: [PATCH] Debian repository directory configurable.

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

diff --git a/mock.sh b/mock.sh
index f2947d3..73a1fa0 100755
--- a/mock.sh
+++ b/mock.sh
@@ -21,7 +21,7 @@
 
 KEY_ID=${KEY_ID:-'7157882F'}
 top_srcdir=${top_srcdir}
-DEBREPO=~/debian
+DEBREPO=${DEBREPO:-~/debian}
 DEBDISTRO=stable
 #PBUILDER_OPTS='--debbuildopts "-j8"'
 
-- 
1.8.2.3