Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 23c0ea35f730c163d39762872e3c2bc063ec699e)
+++ Jenkinsfile	(revision 8e5dc27e239b30d231697830fd888167706116ff)
@@ -320,5 +320,5 @@
 			// Use only generic clang/gcc here because of unknown version numbers on different architectures.
 			case 'clang':
-				this.Compiler = new CC_Desc('clang', 'clang++', 'gcc', '-flto=thin -flto-jobs=0')
+				this.Compiler = new CC_Desc('clang', 'clang++', 'gcc-11', '-flto=thin -flto-jobs=0')
 			break
 			default :
@@ -379,5 +379,5 @@
 					description: 'Which compiler to use',			\
 					name: 'Compiler',					\
-					choices: 'gcc-9\ngcc-10\ngcc-11\ngcc-12gcc-13gcc-14\nclang',	\
+					choices: 'gcc-9\ngcc-10\ngcc-11\ngcc-12\ngcc-13\ngcc-14\nclang', \
 					defaultValue: 'gcc',					\
 				],								\