+ git clone --recursive --depth=1 https://github.com/onchipuis/mriscv mriscv Cloning into 'mriscv'... Submodule 'mriscvcore' (https://github.com/onchipuis/mriscvcore.git) registered for path 'mriscvcore' Cloning into '/var/jenkins_home/workspace/mriscv/mriscv/mriscvcore'... Submodule path 'mriscvcore': checked out '1e94fa95bcdddb889be205ed661b9addff1221a4'