devtools: cross-toolchain: terminate init.sh when fetch fails (thanks R41z)

This commit is contained in:
Giacomo Tesio 2017-08-30 23:16:17 +02:00
parent 3e533d234a
commit 60d71d421d
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 83eeb61e84a3c49d1731f88acfabbfd023ec8073 Subproject commit b7a9f208c3fc4c80abdc685c4f170ae9f5e79136