+ 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 'eae64fa475dc4cabf3bd3ecda554bd910000bb3f'
