Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove unused Python imports in scripts

Browse Source 
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan Velickovic
2024-05-02 12:23:59 +10:00
committed by Indan Zupancic
parent 67a812009a
commit 410b464c27
3 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tools/hardware_gen.py
View File

@@ -5,7 +5,6 @@
# SPDX-License-Identifier: GPL-2.0-only # SPDX-License-Identifier: GPL-2.0-only
# #
from __future__ import print_function, division
import argparse import argparse
import logging import logging
import yaml import yaml

1
tools/invocation_header_gen.py
View File

@@ -8,7 +8,6 @@
# seL4 Invocation ID Generator # seL4 Invocation ID Generator
# ============================ # ============================
from __future__ import print_function
from importlib.metadata import version from importlib.metadata import version
from jinja2 import Environment, BaseLoader from jinja2 import Environment, BaseLoader
import argparse import argparse

1
tools/syscall_header_gen.py
View File

@@ -8,7 +8,6 @@
# seL4 System Call ID Generator # seL4 System Call ID Generator
# ============================== # ==============================
from __future__ import print_function
from importlib.metadata import version from importlib.metadata import version
from jinja2 import Environment, BaseLoader from jinja2 import Environment, BaseLoader
import argparse import argparse