Trigger source rebuilds per distribution

diff --git a/jenkins/trigger-binnmu b/jenkins/trigger-binnmu
index 549e15db5478f1f43d93df9c72f89e500304b82b..9e3ed6ebd6795eb09af943068a3c0f80622a4ce3 100755 (executable)
--- a/jenkins/trigger-binnmu
+++ b/jenkins/trigger-binnmu
@@ -16,7 +16,7 @@ shift $(($OPTIND - 1))
 
 PACKAGE="$1"
 
-./trigger-source-rebuild -r "${revision:-1}" "$PACKAGE"
+./trigger-source-rebuild -r "${revision:-1}" ${distribution:+-d "$distribution"} "$PACKAGE"
 echo "https://pgdgbuild.dus.dg-i.net/job/$PACKAGE-source"
 echo -n "Continue? "
 read reply