Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Bug] Fix bug to disable taichi header print (taichi-dev#8517)
Issue: taichi-dev#8334 ### Brief Summary The previous code taichi-dev#8413 had no effect because the value in os.environ can only be a string. This pull request will enable users to disable the Taichi header print by setting one of the following ways: - os.environ['ENABLE_TAICHI_HEADER_PRINT'] = 'False' - os.environ['ENABLE_TAICHI_HEADER_PRINT'] = 'FALSE' - os.environ['ENABLE_TAICHI_HEADER_PRINT'] = 'F' - os.environ['ENABLE_TAICHI_HEADER_PRINT'] = '0' ### Walkthrough copilot:walkthrough --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
- Loading branch information