[XS] Change in coreboot[master]: [WIP] util/crossgcc: Make Clang using Z3 - coreboot-gerrit

3 Aug 2023


      Attention is currently required from: Elyes Haouas, Felix Singer.
Martin L Roth has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/76421?usp=email )
Change subject: [WIP] util/crossgcc: Make Clang using Z3
......................................................................
Patch Set 2:
(1 comment)
Commit Message:
https://review.coreboot.org/c/coreboot/+/76421/comment/ee2806a4_bc6148a2 :
PS2, Line 7: [WIP] 
Please use the "Mark as Work in Progress" button in the menu at the top right of the change. This lets the search filter exclude it from searches.
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/76421?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I1363ea8f96911bcffcf9b85a2e42d77e850fb9e9
Gerrit-Change-Number: 76421
Gerrit-PatchSet: 2
Gerrit-Owner: Felix Singer service+coreboot-gerrit@felixsinger.de
Gerrit-Reviewer: Elyes Haouas ehaouas@noos.fr
Gerrit-Reviewer: Martin L Roth gaumless@gmail.com
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Attention: Felix Singer service+coreboot-gerrit@felixsinger.de
Gerrit-Attention: Elyes Haouas ehaouas@noos.fr
Gerrit-Comment-Date: Wed, 02 Aug 2023 23:11:01 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Gerrit-MessageType: comment