From 15b110daf2063c6a91f68b14b2a4bad9a5f269ee Mon Sep 17 00:00:00 2001 From: lanefu Date: Wed, 17 Jun 2020 10:01:48 -0400 Subject: [PATCH] uhmmm why did this ever work --- jenkins_ci.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/jenkins_ci.sh b/jenkins_ci.sh index 7908225..25a768a 100755 --- a/jenkins_ci.sh +++ b/jenkins_ci.sh @@ -142,7 +142,6 @@ get_build_target() { for board_row in ${board_changed}; do current_score=$(echo $board_row | fgrep -o ${board}|wc -c) _info "score: ${current_score} | board_row: ${board_row}" - board_score=$current_score if [[ $current_score -gt $board_score ]]; then ARMBIAN_BOARD=${board} _info "ARMBIAN_BOARD=${board}"