Debian repository directory configurable.

diff --git a/mock.sh b/mock.sh
index f2947d3..73a1fa0 100755 (executable)
--- 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"'