[coreboot-gerrit] Change in coreboot[master]: crossgcc: fix DESTDIR builds

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/19463 )

Change subject: crossgcc: fix DESTDIR builds
......................................................................


Patch Set 1: Verified+1

Build Successful 

https://qa.coreboot.org/job/coreboot-toolchain/275/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/52811/ : SUCCESS

https://qa.coreboot.org/job/coreboot-checkpatch/8677/ : SUCCESS

-- 
To view, visit https://review.coreboot.org/19463
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-MessageType: comment
Gerrit-Change-Id: I54cafd47c76d855222ba905b5eb4533a23bdfd34
Gerrit-PatchSet: 1
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Patrick Georgi <pgeorgi at google.com>
Gerrit-Reviewer: build bot (Jenkins)
Gerrit-HasComments: No