From 7c3800902501ebdedfd2079f600b8773946352f7 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 18 Jul 2024 17:07:28 +1000 Subject: [PATCH] trivial: fix typos; add explicit imports Signed-off-by: Gerwin Klein --- l4v-deploy/common.py | 2 +- l4v-deploy/seL4-pp | 5 ++--- l4v-deploy/staging-manifest | 4 ++-- 3 files changed, 5 insertions(+), 6 deletions(-) diff --git a/l4v-deploy/common.py b/l4v-deploy/common.py index d94f3f85..f1c85ada 100644 --- a/l4v-deploy/common.py +++ b/l4v-deploy/common.py @@ -1,6 +1,6 @@ #!/usr/bin/env python3 # -# Copyright 2020, Data61, CSRIO +# Copyright 2020, Data61, CSIRO # SPDX-License-Identifier: BSD-2-Clause # # Common utils. diff --git a/l4v-deploy/seL4-pp b/l4v-deploy/seL4-pp index f8fc85ec..db5eb080 100755 --- a/l4v-deploy/seL4-pp +++ b/l4v-deploy/seL4-pp @@ -1,7 +1,7 @@ #!/usr/bin/env python3 # -*- coding: utf-8 -*- # -# Copyright 2020, Data61, CSRIO +# Copyright 2020, Data61, CSIRO # SPDX-License-Identifier: BSD-2-Clause # # This is a post-build deploy script for the “seL4 preprocess” build. @@ -16,13 +16,12 @@ import argparse import os -import re import subprocess import sys from xml.dom import minidom # Local imports -from common import * +from common import run_command, loud_command, indent, set_repo_email, format_commit_message parser = argparse.ArgumentParser("Update seL4 revision in verification-manifest from CI", formatter_class=argparse.ArgumentDefaultsHelpFormatter) diff --git a/l4v-deploy/staging-manifest b/l4v-deploy/staging-manifest index ff6391f9..8308b694 100755 --- a/l4v-deploy/staging-manifest +++ b/l4v-deploy/staging-manifest @@ -1,7 +1,7 @@ #!/usr/bin/env python3 # -*- coding: utf-8 -*- # -# Copyright 2020, Data61, CSRIO +# Copyright 2020, Data61, CSIRO # SPDX-License-Identifier: BSD-2-Clause # # If the l4v tests succeeded, write this version to default.xml @@ -26,7 +26,7 @@ import sys import tempfile # Local imports -from common import * +from common import run_command, loud_command, indent, set_repo_email, format_commit_message parser = argparse.ArgumentParser("Auto-update verification manifest from CI", formatter_class=argparse.ArgumentDefaultsHelpFormatter)