Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 70bc776fc1f91d375d63d48c61321a733969021f)
+++ Jenkinsfile	(revision e0d90b255383e8aec23a39222bfaa1a35eea6f63)
@@ -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}"