diff options
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/docker/README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ci/docker/README.md b/src/ci/docker/README.md index a2d83eca24b..872f2c3467d 100644 --- a/src/ci/docker/README.md +++ b/src/ci/docker/README.md @@ -16,6 +16,13 @@ for example: Images will output artifacts in an `obj` dir at the root of a repository. +**NOTE**: Re-using the same `obj` dir with different docker images with +the same target triple (e.g. `dist-x86_64-linux` and `dist-various-1`) +may result in strange linker errors, due shared library versions differing between platforms. + +If you encounter any issues when using multiple Docker images, try deleting your `obj` directory +before running your command. + ## Filesystem layout - Each directory, excluding `scripts` and `disabled`, corresponds to a docker image |