diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2018-12-20 17:25:50 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-21 18:06:36 +0000 |
| commit | 250f01e7e3ce642cffaa115c8f1e7d88357bbb9a (patch) | |
| tree | cca1c9264ceb814a5600b7a7866290953abf7d92 /src/lib/gnat/i-c.adb | |
| parent | 3b2305eed947538b1860c208a638b5a0268a4141 (diff) | |
util/release: Don't assume the source is in a directory called coreboot
Change-Id: I384ff2f01b38916851522411d0c25c49793fe480
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/30343
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'src/lib/gnat/i-c.adb')
0 files changed, 0 insertions, 0 deletions