.travs/build.sh has many failured builds

[mithro]

The following builds succeeded
=============================================
arty base lm32 
arty base or1k 
arty base picorv32 
arty base vexriscv 
arty net lm32 
arty net or1k 
arty net picorv32 
arty net vexriscv 
atlys base lm32 
atlys base or1k 
atlys base picorv32 
atlys base vexriscv 
atlys hdmi2usb lm32 
atlys hdmi2usb picorv32 
atlys net lm32 
atlys net or1k 
atlys net picorv32 
atlys net vexriscv 
atlys video lm32 
atlys video or1k 
atlys video picorv32 
atlys video vexriscv 
basys3 base lm32 
basys3 base or1k 
basys3 base picorv32 
basys3 base vexriscv 
cmod_a7 base lm32 
cmod_a7 base or1k 
cmod_a7 base picorv32 
cmod_a7 base vexriscv 
galatea base lm32 
galatea base or1k 
galatea base picorv32 
galatea base vexriscv 
mimasv2 base lm32 
mimasv2 base or1k 
mimasv2 base picorv32 
mimasv2 base vexriscv 
mimasv2 scope lm32 
mimasv2 scope or1k 
mimasv2 scope picorv32 
mimasv2 scope vexriscv 
minispartan6 base lm32 
minispartan6 base or1k 
minispartan6 base picorv32 
minispartan6 base vexriscv 
neso base lm32 
neso base or1k 
neso base picorv32 
neso base vexriscv 
netv2 base lm32 
netv2 base or1k 
netv2 base picorv32 
netv2 base vexriscv 
nexys_video base lm32 
nexys_video base or1k 
nexys_video base picorv32 
nexys_video base vexriscv 
nexys_video net lm32 
nexys_video net or1k 
nexys_video net picorv32 
nexys_video net vexriscv 
opsis axiom lm32 
opsis axiom or1k 
opsis axiom picorv32 
opsis axiom vexriscv 
opsis base lm32 
opsis base or1k 
opsis base picorv32 
opsis base vexriscv 
opsis encoder lm32 
opsis encoder or1k 
opsis encoder picorv32 
opsis encoder vexriscv 
opsis hdmi2usb lm32 
opsis hdmi2usb or1k 
opsis hdmi2usb picorv32 
opsis hdmi2usb vexriscv 
opsis net lm32 
opsis net or1k 
opsis net picorv32 
opsis net vexriscv 
opsis video lm32 
opsis video or1k 
opsis video picorv32 
opsis video vexriscv 
pipistrello base lm32 
pipistrello base or1k 
pipistrello base picorv32 
pipistrello base vexriscv 
saturn base lm32 
saturn base or1k 
saturn base picorv32 
saturn base vexriscv 
waxwing base lm32 
waxwing base or1k 
waxwing base picorv32 
waxwing base vexriscv 



The following builds failed!
=============================================
arty bridge_net lm32 
arty bridge_net or1k 
arty bridge_net picorv32 
arty bridge_net vexriscv 
arty ddr3 lm32 
arty ddr3 or1k 
arty ddr3 picorv32 
arty ddr3 vexriscv 
atlys hdmi2usb or1k 
atlys hdmi2usb vexriscv 
mimasv2 memtest lm32 
mimasv2 memtest or1k 
mimasv2 memtest picorv32 
mimasv2 memtest vexriscv 
netv2 bridge_pcie lm32 
netv2 bridge_pcie or1k 
netv2 bridge_pcie picorv32 
netv2 bridge_pcie vexriscv 
netv2 bridge_uart lm32 
netv2 bridge_uart or1k 
netv2 bridge_uart picorv32 
netv2 bridge_uart vexriscv 
netv2 pcie lm32 
netv2 pcie or1k 
netv2 pcie picorv32 
netv2 pcie vexriscv 
netv2 video lm32 
netv2 video or1k 
netv2 video picorv32 
netv2 video vexriscv 
nexys_video bridge_net lm32 
nexys_video bridge_net or1k 
nexys_video bridge_net picorv32 
nexys_video bridge_net vexriscv 
nexys_video ddr3 lm32 
nexys_video ddr3 or1k 
nexys_video ddr3 picorv32 
nexys_video ddr3 vexriscv 
nexys_video etherbone lm32 
nexys_video etherbone or1k 
nexys_video etherbone picorv32 
nexys_video etherbone vexriscv 
nexys_video video lm32 
nexys_video video or1k 
nexys_video video picorv32 
nexys_video video vexriscv 
opsis memtest lm32 
opsis memtest or1k 
opsis memtest picorv32 
opsis memtest vexriscv 
opsis video_out_debug lm32 
opsis video_out_debug or1k 
opsis video_out_debug picorv32 
opsis video_out_debug vexriscv 
tinyfpga_bx base lm32 
tinyfpga_bx base or1k 
tinyfpga_bx base picorv32 
tinyfpga_bx base vexriscv 



=============================================
One or more builds failed :(