4 Commits

Author	SHA1	Message	Date
holger krekel	477c818631	adding git gc to cargo-induced git checkouts. This avoids problems with dangling commits.	2019-11-24 00:35:50 +01:00
holger krekel	254b061921	update docs and add a simple manual script to run python/rust tests	2019-11-22 12:28:19 +01:00
holger krekel	b67203b421	use the reponame in dir builddir to we can distinguish from desktop/android etc	2019-11-22 12:28:19 +01:00
holger krekel	932c86bb3b	various cleanups, better parallelism and build-dir structure	2019-11-22 12:28:19 +01:00