mirror of
https://github.com/tiennm99/godot.git
synced 2026-08-03 10:23:13 +00:00
This reverts commit 04e955841f.
It looks like we can just remove `-pipe` for the CI to complete.
This reverts commit 04e955841f.
It looks like we can just remove `-pipe` for the CI to complete.