Linux

Minor fixes to previous commit. #385

Job	Run time
linux (g++-9, Debug)	5m 19s
linux-clang-extra (-fno-rtti, Debug)	4m 1s
linux (g++-9, Release)	4m 46s
linux-clang-extra (-fno-rtti, Release)	6m 32s
linux (g++-10, Debug)	6m 32s
linux-gcc-extra (-fno-rtti, Debug)	5m 18s
linux-clang-extra (-fno-exceptions, Debug)	8s
linux (g++-10, Release)	5m 26s
linux-clang-extra (-fno-exceptions, Release)	12s
linux-gcc-extra (-fno-rtti, Release)	6m 51s
linux (g++-11, Debug)	5m 36s
linux-gcc-extra (-fno-exceptions, Debug)	8s
linux-clang-extra (-fms-extensions, Debug)	5m 28s
linux (g++-11, Release)	7m 15s
linux-gcc-extra (-fno-exceptions, Release)	4s
linux-old (clang++-7, Debug)	3m 46s
linux-clang-extra (-fms-extensions, Release)	5m 54s
linux (g++-12, Debug)	4m 50s
linux-old (clang++-7, Release)	6m 56s
linux (g++-12, Release)	7m 47s
linux-old (clang++-8, Debug)	4m 2s
linux (clang++-12, Debug)	5s
linux-old (clang++-8, Release)	8m 18s
linux (clang++-12, Release)	6s
linux-old (clang++-9, Debug)	4m 5s
linux (clang++-13, Debug)	3m 58s
linux-old (clang++-9, Release)	5m 51s
linux (clang++-13, Release)	5m 56s
linux-old (clang++-10, Debug)	3m 56s
linux (clang++-14, Debug)	4m 30s
linux-old (clang++-10, Release)	6m 7s
linux (clang++-14, Release)	6m 9s
linux-old (clang++-11, Debug)	4m 8s
linux-old (clang++-11, Release)	5m 52s
	2h 35m 52s

Provide feedback