mirror of
https://github.com/servo/servo
synced 2026-05-15 03:16:47 +02:00
Only build ports/servo by default (except Android), add `./mach build --libsimpleservo` Fixes #21314 <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21809) <!-- Reviewable:end -->