+ git clone --recursive --depth=1 https://github.com/rafaelcalcada/rvx rvx Cloning into 'rvx'... Submodule 'hal' (https://github.com/rafaelcalcada/rvx-hal.git) registered for path 'hal' Cloning into '/var/jenkins_home/workspace/rvx/rvx/hal'... Submodule path 'hal': checked out '57e0676ed44124198ee8961e5cc22b65b6e35a4c'
