terralang / terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
terralang.org
Other
2.71k stars 197 forks source link

Update to newer FreeBSD image #667

Closed elliottslaughter closed 1 month ago

elliottslaughter commented 1 month ago

Image list here: https://cirrus-ci.org/guide/FreeBSD/

13.2 is not available, so switching to 14.0.

elliottslaughter commented 1 month ago

Noting here in case I come looking for it later: I had to unset MAKEFLAGS to unbreak the FreeBSD build. I think this has no practical consequence as I haven't seen Linux use MAKEFLAGS to pass parallel job parameters around between Make instances, but in theory we could be giving up build parallelism as a result of this.