diff options
-rwxr-xr-x | jenkins/updatejobinfo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jenkins/updatejobinfo b/jenkins/updatejobinfo index 2109178..1b7f51f 100755 --- a/jenkins/updatejobinfo +++ b/jenkins/updatejobinfo @@ -98,6 +98,8 @@ foreach_kernel_cfg() : ${ubuntu_config_frag:="linaro/configs/ubuntu.conf"} : ${board_config_frag:="linaro/configs/$(echo $SOCFLAVOUR | sed 's/l\?lt-//').conf"} : ${third_version_digit:=0} + : ${board_config_repo:="$kernel_repo"} + : ${board_config_branch:="$kernel_branch"} eval $1 ) done |