Add required --root to ./run_docker` build from source documentation (

pyodide#4754)
chrysn-pull-requests · May 10, 2024 · 7e1b136 · 7e1b136
1 parent a802179
commit 7e1b136
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/development/building-from-sources.md b/docs/development/building-from-sources.md
@@ -42,6 +42,10 @@ These Docker images are also available from the Github packages at
 
 3. Run `make` to build.
 
+```{note}
+If `make` is failing with `Permission denied`, you can run `./run_docker` with root permissions: `./run_docker --root`
+```
+
 ```{note}
 You can control the resources allocated to the build by setting the env
 vars `EMSDK_NUM_CORE`, `EMCC_CORES` and `PYODIDE_JOBS` (the default for each is