CHERIoT-Platform / llvm-project

Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork
4 stars 6 forks source link

WSL2 build fix #24

Closed marnovandermaas closed 6 months ago

marnovandermaas commented 6 months ago

This PR applies the fix @colinoflynn suggests.

Closes: #23