gromero opened a new pull request #8738: URL: https://github.com/apache/tvm/pull/8738
Currently base-box-tool.py 'build' command will fail with a 'packer' error message on the second run if it's run twice and the box for a provider built on the first run is not removed manually before the second run. This commit avoids that failure by checking for the existence of a box for each specified provider and if a box already exists it will refuse to overwrite the box (since building a box takes a quite amount of time to be done), exiting and warning the user. A new option '--force' is added to the 'build' command that allows the user to explicitly rebuild the box in case one already exists. Signed-off-by: Gustavo Romero <[email protected]> Thanks for contributing to TVM! Please refer to guideline https://tvm.apache.org/docs/contribute/ for useful information and tips. After the pull request is submitted, please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @ them in the pull request thread. -- 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]
