Check the right changes file

1 files changed, 7 insertions, 1 deletions

diff --git a/jenkinstool b/jenkinstool
index 9b6b079..c2d6dc5 100755
--- a/jenkinstool
+++ b/jenkinstool
@@ -437,7 +437,13 @@ cp -a "$workspace/." .
         script = prelude
         if build_all:
             script += '''
-if url_exists "$poolurl/$archall_changes"
+if grep '^Architecture:.* any' debian/control > /dev/null
+then
+    url="$poolurl/$archany_changes"
+else
+    url="$poolurl/$archall_changes"
+fi
+if url_exists "$url"
 then
     echo "$poolurl/$archall_changes exists, not rebuilding"
     exit 0