Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f63e35c6728c5f6765217eddf8327a1019c1b4ec)
+++ Jenkinsfile	(revision a8f49cc6dac2a474d3564689a48985bd0533fd2a)
@@ -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}"