tree 31642cdf65a073cb7f2bc01b2bccf5e5ee51a1ff
parent 45939f45da5770de5bc6f84e22cf2707bc2bba38
author Fuad Tabba <tabba@google.com> 1612891095 +0000
committer Fuad Tabba <tabba@google.com> 1612951163 +0000

Treat DIST_DIR and OUT_DIR as separate directories

If DIST_DIR is defined, create logs there and copy and
interesting artifacts to it.

The CI build (pKVM Busytown) expects build artifacts to be in
DIST_DIR. Previously the makefile would use the out directory for
that. However, this would clutter it with object files and
temporary build files that aren't needed.

Signed-off-by: Fuad Tabba <tabba@google.com>
Change-Id: I06669489553dbb4c1dc1900fb76701f12bc21ac0