Ilya Fedin dc7aef3f86 Move HFLAGS to other variables in Dockerfile		2021-12-22 14:15:48 +04:00
..
Dockerfile	Move HFLAGS to other variables in Dockerfile	2021-12-22 14:15:48 +04:00
build.sh	Use ninja as much as possible in docker	2021-11-21 09:51:01 +04:00
prepare.sh	…
run.sh	Switch to devtoolset-10 in Docker.	2021-11-17 10:03:14 +04:00