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