Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 2d41c707c72b00fcac83edc633ceb1237d6e74ce)
+++ Jenkinsfile	(revision 2b3ebe5f5e7cddf25d1a8ef1e4b2c2dc0bd64128)
@@ -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}"