Display Linux variant at ./configure time (#1928) #38

Job	Run time
CodeQL-tests	38m 12s
build-tests(ubuntu-22.04,gcc,default)	11m 6s
build-tests(ubuntu-22.04,gcc,minimal)	6m 0s
build-tests(ubuntu-22.04,gcc,maximus)	12m 30s
build-tests(ubuntu-22.04,clang,default)	12m 48s
source-maintenance-tests	2m 49s
functionality-tests	17m 2s
build-tests(ubuntu-22.04,clang,minimal)	7m 48s
build-tests(ubuntu-22.04,clang,maximus)	14m 55s
	2h 3m 10s

Provide feedback