diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2016-11-25 15:27:41 +0100 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-11-28 01:01:58 +0100 |
| commit | 1b593e5ad76bb66298c6f39b2cfb6fdf1f784c38 (patch) | |
| tree | 48ad0b9f726d8ff6802b0eb8d654edfdf40619e7 /util/mma/mma_get_result.sh | |
| parent | 696abfcfd3fb58b985d24903c670a2c25bed2214 (diff) | |
util/crossgcc: fix using -D
Otherwise errors similar to "touch: cannot touch
'${TARGETDIR}/.GMP.6.1.0.success': No such file
or directory" might occur.
Change-Id: I4f24c93a25b7d567d3ce14a0415d20fd0778c9c8
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/17603
Tested-by: build bot (Jenkins)
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/mma/mma_get_result.sh')
0 files changed, 0 insertions, 0 deletions