diff options
-rwxr-xr-x | jenkins-makesources | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/jenkins-makesources b/jenkins-makesources index e133586..8482c5b 100755 --- a/jenkins-makesources +++ b/jenkins-makesources @@ -27,10 +27,10 @@ then source $1 fi -[ -z $base_version ] && base_version=0.1.2014.05 -[ -z $BUILD_NUMBER ] && BUILD_NUMBER=1 -[ -z ${output_file} ] && output_file=${upstream_source}.dsc - +base_version=${base_version:-0} +distribution=${distribution:-sid} +BUILD_NUMBER=${BUILD_NUMBER:-1} +output_file=${output_file:-${upstream_source}.dsc} if [ ! -d $upstream_source ] then @@ -43,7 +43,7 @@ then if [ ! -d $packaging_dir ] then - git clone $packaging_repo + git clone $packaging_repo $packaging_dir fi packaging_commit=`cd $packaging_dir && git log -n1 --pretty=format:%h` else |