Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Signed-off-by: Louise Poubel <[email protected]>
  • Loading branch information
chapulina committed Sep 16, 2020
1 parent 769ac58 commit 708b300
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions jenkins-scripts/docker/ign_rendering-compilation.bash
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,8 @@ if ! [[ ${IGN_RENDERING_MAJOR_VERSION} =~ ^-?[0-9]+$ ]]; then
exit -1
fi

OSRF_REPOS_TO_USE="stable prerelease"

if [[ ${IGN_RENDERING_MAJOR_VERSION} -ge 4 ]]; then
export BUILD_IGN_COMMON=true
export IGN_COMMON_MAJOR_VERSION=3
Expand Down

0 comments on commit 708b300

Please sign in to comment.