diff options
author | Damien George <damien@micropython.org> | 2022-02-25 18:24:03 +1100 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-02-25 18:24:03 +1100 |
commit | 0a217624e1d26899986d3e79eb604652da540b00 (patch) | |
tree | f89a4050aeec20cdd4fd6144f90c61f3be1b20d7 | |
parent | 546e213265872cc6393af83a94bb2af5092d4348 (diff) | |
download | micropython-0a217624e1d26899986d3e79eb604652da540b00.tar.gz micropython-0a217624e1d26899986d3e79eb604652da540b00.zip |
tools/upip.py: Remove unused op_basename() function.
It seems this was never used, at least not since its inclusion in this
repository.
Signed-off-by: Damien George <damien@micropython.org>
-rw-r--r-- | tools/upip.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/upip.py b/tools/upip.py index 9fb8726420..2932cca50c 100644 --- a/tools/upip.py +++ b/tools/upip.py @@ -41,10 +41,6 @@ def op_split(path): return (head, r[1]) -def op_basename(path): - return op_split(path)[1] - - # Expects *file* name def _makedirs(name, mode=0o777): ret = False @@ -205,7 +201,6 @@ def install_pkg(pkg_spec, install_path): assert len(packages) == 1 package_url = packages[0]["url"] print("Installing %s %s from %s" % (pkg_spec, latest_ver, package_url)) - package_fname = op_basename(package_url) f1 = url_open(package_url) try: f2 = uzlib.DecompIO(f1, gzdict_sz) |