From 015c7b3ecc09d0bb4595143f19e3485233be254b Mon Sep 17 00:00:00 2001 From: Benoit Pierre Date: Wed, 6 Nov 2024 07:54:52 +0100 Subject: [PATCH] fix cache directory related error trace ``` emcc: error: unable to create cache directory "{cachdir}": parent directory not writable (see https://emscripten.org/docs/tools_reference/emcc.html for info on setting the cache directory) ``` --- tools/cache.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/cache.py b/tools/cache.py index 2aa5ffbd7cf73..3a8655449447f 100644 --- a/tools/cache.py +++ b/tools/cache.py @@ -77,7 +77,7 @@ def ensure(): if not os.path.isdir(cachedir): parent_dir = os.path.dirname(cachedir) if not is_writable(parent_dir): - utils.exit_with_error('unable to create cache directory "{cachdir}": parent directory not writable (see https://emscripten.org/docs/tools_reference/emcc.html for info on setting the cache directory)') + utils.exit_with_error(f'unable to create cache directory "{cachedir}": parent directory not writable (see https://emscripten.org/docs/tools_reference/emcc.html for info on setting the cache directory)') utils.safe_ensure_dirs(cachedir)