Debian distribution name configurable.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 18 Jul 2013 18:34:48 +0000 (20:34 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Thu, 18 Jul 2013 18:34:48 +0000 (20:34 +0200)
mock.sh

diff --git a/mock.sh b/mock.sh
index 51b28ef..ef1fdc0 100755 (executable)
--- 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