diff options
Diffstat (limited to 'jenkinstool')
-rwxr-xr-x | jenkinstool | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinstool b/jenkinstool index da73f0f..4d73d06 100755 --- a/jenkinstool +++ b/jenkinstool @@ -524,7 +524,7 @@ fi script = have_vcs_copy + prelude if build_all: script += ''' -if grep '^Architecture:.* any' debian/control > /dev/null +if grep '^Architecture:.*any' debian/control > /dev/null then url="$poolurl/$archany_changes" else |