trivial: fix typos; add explicit imports

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 18, 2024 · 7c38009 · 7c38009
1 parent edd52c4
commit 7c38009
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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)