diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2015-08-13 07:57:26 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-08-13 08:30:36 +0200 |
| commit | aa7dcef49427bde74ae4ddb48f6ed9823661a4a5 (patch) | |
| tree | 84c06999aff7995c22a1e66c0d70e34020887b31 /util/optionlist | |
| parent | 608f9b5b165c141efd4cb51fbecaa846e28b7992 (diff) | |
board-status: move board status back to $TMPDIR
Change-Id: I05a8c246384abfc954cfcf163a68cca71aa6b2f0
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/11224
Tested-by: build bot (Jenkins)
Reviewed-by: Timothy Pearson <tpearson@raptorengineeringinc.com>
Diffstat (limited to 'util/optionlist')
0 files changed, 0 insertions, 0 deletions