6 Commits (392035c16d5bbae37345ce729ddb2cc45e50ad87)

Author	SHA1	Message	Date
Andrew Brown	c376c9cfbd	Thread UID/GID through Docker ... When running Git commands inside this Docker container (i.e., commands that the `version.py` script needs for determining version information), the Docker build would run into issues like: ``` fatal: detected dubious ownership in repository at '/workspace' To add an exception for this directory, call: git config --global --add safe.directory /workspace ``` This is due to an extra Git check that detects that the Docker user is not the same one who owns the `.git` directory of this project. After looking into this, the best solution the internet has to offer is to thread the current user's UID and GID through the Docker image (i.e., the new `builder` user) and then `docker run --user ...`. This both avoids the Git check but also seems to be considered a best practice in some circles (?).	10 months ago
Cheng Shao	388a7cacbf	Enable ccache for CI builds of LLVM (#277)	2 years ago
Yonggang Luo	7c4fc5c9b9	Fixes docker build on Linux ... Fixes #230 Signed-off-by: Yonggang Luo <luoyonggang@gmail.com>	3 years ago
Yonggang Luo	a0415286e0	Setup ninja verbose option at the workflow scripts (#207) ... When building wasi-sdk locally, we doesn't need so verbose output that not easily distinguish the error command from the normal command. So refactoring -v option into workflow scripts	3 years ago
Pat Hickey	cea537aef1	produce deb and tars ... this should hopefully work on the mac, ill have to get someone to test it	6 years ago
Pat Hickey	2a3fadc96f	build system fixups	6 years ago