tree 00ddccf8c19574fff3e480b99c9462480d85e5b7
parent 244d503a8bae30bc7593e51cec3777509696ce4e
author Philipp Wagner <phw@lowrisc.org> 1572436184 +0000
committer Philipp Wagner <mail@philipp-wagner.com> 1572447636 +0000

[ci] Enhance run_sw_build.sh create dist dir

A distribution directory is the "output directory" where we stage build
artifacts which will become part of a binary release. Enhance the
run_sw_build.sh script to copy the build output into such a directory.

This fix is temporary until we have built-in support in the build
system, where this functionality should be.