Nikolai Rodionov db6e07b5c5 Try using sh instead of bash		2024-05-24 16:47:14 +02:00
..
build_upstream.sh	Try using sh instead of bash	2024-05-24 16:47:14 +02:00
build_xor.sh	Try using sh instead of bash	2024-05-24 16:47:14 +02:00