Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 2261bcccc0eb496b4f1887e2e4e195acfed9524b)
+++ Jenkinsfile	(revision 8cbe732066c1d0d00e6d6622a2e8b5a6b1f72c45)
@@ -329,5 +329,5 @@
 			break
 			case 'arm64':
-				this.Architecture = new Arch_Desc('arm64', '--host=arm64', 'arm64')
+				this.Architecture = new Arch_Desc('arm64', '--host=aarch64', 'arm64')
 			break
 			default :