kopia lustrzana https://github.com/micropython/micropython-lib
make_metadata.py: Allow to override dist_name in metadata.txt.
rodzic
294c5e4eda
commit
41e738f1b0
|
@ -117,7 +117,8 @@ def main():
|
|||
else:
|
||||
raise ValueError
|
||||
|
||||
data["dist_name"] = module
|
||||
if "dist_name" not in data:
|
||||
data["dist_name"] = module
|
||||
if "name" not in data:
|
||||
data["name"] = module
|
||||
data["top_name"] = data["name"].split(".", 1)[0]
|
||||
|
|
Ładowanie…
Reference in New Issue