Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 2d41c707c72b00fcac83edc633ceb1237d6e74ce)
+++ Jenkinsfile	(revision 70bc776fc1f91d375d63d48c61321a733969021f)
@@ -332,7 +332,7 @@
 				this.Architecture = new Arch_Desc('x86', '--host=i386', 'x86')
 			break
-			case 'arm64':
-			 	this.Architecture = new Arch_Desc('arm64', '--host=aarch64', 'arm64')
-			break
+//			case 'arm64':
+//			 	this.Architecture = new Arch_Desc('arm64', '--host=aarch64', 'arm64')
+//			break
 			default :
 				error "Unhandled architecture : ${arch}"