gromero commented on pull request #9619: URL: https://github.com/apache/tvm/pull/9619#issuecomment-984242581
@ZQPei oh pardon, even with @leandron tagging me I missed that PR. Thanks for reporting and proposing a fix. Since I was not aware of yours I created earlier today https://github.com/apache/tvm/pull/9632 I'm wondering if you could kindly test it too and check if it also fixes your issue. My take is that `tvmc micro` parser should be not generated when USE_MICRO=OFF and also `--device micro` should be made unavailable for the user, saying why that's not supported. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
