Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 8110bc3a1ba874ee9362cfeb80aca91d34d22b54)
+++ Jenkinsfile	(revision 44856edf2e65daf51c0bc39fe8f674cd056b4fce)
@@ -401,5 +401,5 @@
 					description: 'Which compiler to use',					\
 					name: 'Compiler',									\
-					choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',	\
+					choices: 'gcc-11\ngcc-10\ngcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',	\
 					defaultValue: 'gcc-8',								\
 				],												\