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 42c9628..b3c1d59 100755 --- a/jenkinstool +++ b/jenkinstool @@ -639,7 +639,7 @@ binopt=-b ''' else: script += ''' -if ! grep '^Architecture:.* any' debian/control > /dev/null +if ! grep '^Architecture:.*any' debian/control > /dev/null then echo No architecture specific packages to build, skipping. exit 0 |