Update danio_gcc.sh

This commit is contained in:
Daniel
2019-05-15 18:18:51 +02:00
committed by GitHub
parent aed1c0ada7
commit 01c4ccc89b
+3 -1
View File
@@ -104,7 +104,9 @@ test_gcc()
fi
}
if [ -n "${clean}" ]; then
rm -rf build-*
fi
if ! download; then
echo "STAGE=${TARGET} MSG='at \"download_n_extract\" section'" >.error
exit 1