Specify SNMALLOC_SRC in the environment to override the default of ".." for the source tree.
Keeping CI images up to date
Re-building an image after updating the docker file
Run docker build -t snmallocciteam/$IMG:latest -f ci/$IMG . from the root of the repo,
where $IMG is the image you want to rebuild, for example build_linux_x64
If you are building a multiarch image, ie. an image targeting an architecture other than
the one you are running, you will need to install the qemu handler before you can build:
sudo docker run --rm --privileged multiarch/qemu-user-static:register --reset
Pushing the updated docker image to Docker Hub
Run docker push snmallocciteam/$IMG:latest
Permissions
You must be part of the snmalloc ci team to push updated images. Contact @mjp41, or @achamayou to be given access.