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