2 Commits

Include renames

Author	SHA1	Message	Date
Martin Storsjö	8c15cb4544	Allow syncing the source to the pinned version by setting SYNC=1 when running the build scripts ... This should allow updating an existing build to the desired, pinned version.	2018-01-15 10:31:50 +02:00
Martin Storsjö	e56a519fdc	Split the building of the toolchain into individual shellscripts ... This simplifies building the toolchain outside of docker.	2018-01-10 10:24:48 +02:00