Closed ziopio closed 2 years ago
Needed to handle the new error i introduced in the PR on grisp_tools
Detect missing/misconfigured toolchain earlier
Needed to handle the new error i introduced in the PR on grisp_tools