Console Output

+ git clone --recursive --depth=1 https://github.com/bluespec/Piccolo Piccolo
Cloning into 'Piccolo'...