diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2017-04-26 11:58:44 +0200 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-04-28 00:58:36 +0200 |
| commit | 80656afc40ee687372fc9b63d12b6ebe15194ec1 (patch) | |
| tree | becc23333042af734d48594070cb34ec8380c086 /src/lib/gnat/COPYING3 | |
| parent | d81250cebc997099e022424369bcf80554ad1341 (diff) | |
build system: when cleaning the tree, remove ..config.tmp*
kconfig uses mktemp so ..config.tmp isn't enough.
Change-Id: If910a40269783bbf7392b44cda7e9750bc33f14d
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/19459
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/lib/gnat/COPYING3')
0 files changed, 0 insertions, 0 deletions