Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision da10157338b1541434bce278315ea71f28975de4)
+++ Jenkinsfile	(revision 5ba1356f6794e2949f1c46e02592c5668f7f27d9)
@@ -318,5 +318,5 @@
 			break
 			case 'clang':
-				this.Compiler = new CC_Desc('clang', 'clang++-10', 'gcc-10', '-flto=thin -flto-jobs=0')
+				this.Compiler = new CC_Desc('clang', 'clang++', '-flto=thin -flto-jobs=0')
 			break
 			default :
@@ -377,5 +377,5 @@
 					description: 'Which compiler to use',			\
 					name: 'Compiler',					\
-					choices: 'gcc-7\ngcc-8\ngcc-9\ngcc-10\ngcc-11\ngcc-12\nclang',	\
+					choices: 'gcc-9\ngcc-10\ngcc-11\ngcc-12\nclang',	\
 					defaultValue: 'gcc-9',					\
 				],								\