Skip to content

Commit

Permalink
fix bug in build.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
frosty00 committed Nov 17, 2023
1 parent 08e640b commit 37c7fe2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ build_and_test_all () {
if [ "$IS_TRAVIS" == "TRUE" ]; then
merged_pull_request="$(git show --format="%s" -s HEAD | sed -nE 's/Merge pull request #([0-9]{5}).+$/\1/p')"
echo "DEBUG: $merged_pull_request" # for debugging
if [ -z "$merged_pull_request" ]; then
if [ -n "$merged_pull_request" ]; then
echo "Travis is building merge commit #$merged_pull_request"
# run every 3 merged pull requests
if [ $(("${merged_pull_request:0-1}" % 3)) -eq 0 ]; then
Expand Down

0 comments on commit 37c7fe2

Please sign in to comment.