Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f36c9165e3edf18079800881d0ed0206802e047f)
+++ Jenkinsfile	(revision 99a7163b3869e330945506850a58bf021db4b32b)
@@ -331,7 +331,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}"