Skip to content

Conversation

@echuraev
Copy link
Contributor

Flag -DUSE_MICRO=OFF was added to avoid this issue #13482. In #13503 these changes were reverted. Removed unnecessary compilation flag to avoid user confusing.

Flag `-DUSE_MICRO=OFF` was added to avoid this issue #13482. In #13503 these changes were reverted. 
Removed unnecessary compilation flag to avoid user confusing.
@tvm-bot
Copy link
Collaborator

tvm-bot commented Nov 29, 2022

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

Generated by tvm-bot

@masahi masahi merged commit c0ba8a1 into main Nov 29, 2022
@echuraev echuraev deleted the echuraev/remove_use_micro_from_doc branch November 29, 2022 10:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants