Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 8110bc3a1ba874ee9362cfeb80aca91d34d22b54)
+++ Jenkinsfile	(revision b6f39aaa8453307a222b815da992331e550aaa6a)
@@ -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',								\
 				],												\