diff build/docker/build.sh @ 527:bc5e76e90e95 c++11-mutex

A better way, I think, of handling static initialisation order
author Chris Cannam
date Wed, 11 Sep 2019 14:55:16 +0100
parents 124752918a1b
children
line wrap: on
line diff