autocorres: include AARCH64 in release

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 31, 2022 · 1ecfd4f · 1ecfd4f
1 parent 013115d
commit 1ecfd4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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()