mirror of
https://github.com/minetest/minetest.git
synced 2025-01-31 18:31:12 +01:00
8735a85a30
Otherwise it can happen that these are built as shared depending on the options passed to CMake, which obviously isn't intended.