()
| 72 | |
| 73 | |
| 74 | def ensure(): |
| 75 | ensure_setup() |
| 76 | if not os.path.isdir(cachedir): |
| 77 | try: |
| 78 | utils.safe_ensure_dirs(cachedir) |
| 79 | except Exception as e: |
| 80 | utils.exit_with_error(f'unable to create cache directory "{cachedir}": {e} (see https://emscripten.org/docs/tools_reference/emcc.html for info on setting the cache directory)') |
| 81 | |
| 82 | |
| 83 | def erase(): |