linux

Introduce user-defined wrapdb mirror #17136

Job	Run time
Arch Linux	8m 26s
Arch / PyPy	8m 41s
CUDA (on Arch)	6m 24s
Fedora	8m 13s
Gentoo	7m 40s
Ubuntu Rolling (gcc, g++)	1s
OpenSUSE	7m 40s
Ubuntu Rolling (--unity=on -Ddefault_library=static, --no-unittests, gcc, g++)	3m 0s
Ubuntu Bionic	6m 57s
Ubuntu Rolling (-Ddefault_library=both, --no-unittests, gcc, g++)	4m 29s
Ubuntu Rolling (clang, clang++)	1s
Ubuntu Rolling (--unity=on, --no-unittests, clang, clang++)	1m 8s
Ubuntu Rolling (--cross ubuntu-armhf.json --cross linux-mingw-w64-64bit.json, 0, gcc, g++)	5m 12s
Ubuntu Rolling (--cross ubuntu-armhf.json --cross linux-mingw-w64-64bit.json, --unity=on, gcc, g++)	4m 38s
	1h 12m 30s

Provide feedback