ZQPei commented on pull request #9619: URL: https://github.com/apache/tvm/pull/9619#issuecomment-984283398
> 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 not be generated when USE_MICRO=OFF and also `--device micro` should be made unavailable for the user, saying why that's not supported. Yeah, looks good to me. It can also fix the issue and is more concise. -- 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]
