diff options
| author | Felix Singer <felixsinger@posteo.net> | 2023-01-10 03:35:04 +0100 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2023-01-11 15:36:08 +0000 |
| commit | 16a444c5011e70298ebd9546a39f9d8b61d95030 (patch) | |
| tree | df9debf5f4955f9b57dda074735dd6494b06b7cd /src/lib/gnat/system.ads | |
| parent | 817c6a7a4cff173d22f51f18da3520156160d94d (diff) | |
util/crossgcc/Makefile.inc: Terminate quoted string
`make help` does not execute successfully because a quoted string is
unterminated. Fix that.
Change-Id: I643fde1270a154ba523eb21522dcf5f6d4023110
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/71768
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Diffstat (limited to 'src/lib/gnat/system.ads')
0 files changed, 0 insertions, 0 deletions