Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f466d6bde164ad362c1b68f5026b7b4a36e56eb5)
+++ Jenkinsfile	(revision 2b0e754805d142e7623b6fb6323faa25f40724ef)
@@ -299,10 +299,10 @@
 			//	this.Compiler = new CC_Desc('gcc-6', 'g++-6', 'gcc-6', '-flto=auto')
 			// break
-			case 'gcc-7':
-				this.Compiler = new CC_Desc('gcc-7', 'g++-7', 'gcc-7', '-flto=auto')
-			break
-			case 'gcc-8':
-				this.Compiler = new CC_Desc('gcc-8', 'g++-8', 'gcc-8', '-flto=auto')
-			break
+			// case 'gcc-7':
+			//	this.Compiler = new CC_Desc('gcc-7', 'g++-7', 'gcc-7', '-flto=auto')
+			// break
+			// case 'gcc-8':
+			//	this.Compiler = new CC_Desc('gcc-8', 'g++-8', 'gcc-8', '-flto=auto')
+			// break
 			case 'gcc-9':
 				this.Compiler = new CC_Desc('gcc-9', 'g++-9', 'gcc-9', '-flto=auto')