3 commits

Author	SHA1	Message	Date
whitequark	3adce21ce3	build.run: fix product extraction to work on Windows. ... Before this commit, it would fail with a "Permission denied" error.	2019-06-04 11:40:56 +00:00
whitequark	316ba10207	build.run: simplify using build products locally, e.g. for programming.	2019-06-04 09:13:24 +00:00
whitequark	3194b5c90b	build.run: extract from build.plat.	2019-06-04 07:53:34 +00:00