From 1ecfd4f90ed957c4883eb252ac697583c893b96e Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 31 Oct 2022 11:34:39 +1100 Subject: [PATCH] autocorres: include AARCH64 in release Signed-off-by: Gerwin Klein --- tools/autocorres/tools/release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/autocorres/tools/release.py b/tools/autocorres/tools/release.py index b323c6acdf..6e3f03ca1a 100755 --- a/tools/autocorres/tools/release.py +++ b/tools/autocorres/tools/release.py @@ -125,7 +125,7 @@ def copy_manifest(output_dir, manifest_file, manifest_base, target): parser.add_argument('-r', '--repository', metavar='REPO', type=str, help='Path to the L4.verified repository base.', default=None) parser.add_argument('--archs', metavar='ARCH,...', - type=str, default='ARM,ARM_HYP,X64,RISCV64', + type=str, default='ARM,ARM_HYP,X64,RISCV64,AARCH64', help='L4V_ARCHs to include (comma-separated)') args = parser.parse_args()