4 commits

Author	SHA1	Message	Date
bjorn3	87424cb288	Misc changes	2019-03-11 20:45:59 +01:00
bjorn3	91385ba0fc	Cleanup config.sh	2019-02-11 15:42:28 +01:00
bjorn3	1e5c6bc5b8	Stop using xargo for building the sysroot ... It is currently broken. (see https://github.com/japaric/xargo/issues/227) This makes it easier to for example patch whole crates away.	2018-12-15 16:18:03 +01:00
bjorn3	3c364134ec	Restructure scripts and add flamegraph generator	2018-12-03 18:50:00 +01:00