mirror of
https://github.com/vee1e/flare-floss.git
synced 2026-09-01 17:57:06 +00:00
scripts: replace deprecated --no with --no-string-type
--no only works today via argparse abbreviation of --no-string-type. The PR's planned --no-section/--no-structure/--no-tag flags will make --no an ambiguous prefix and break these call sites. Use the canonical spelling.
This commit is contained in:
parent
3cb79bb8b8
commit
716e1fda1e
2 changed files with 2 additions and 2 deletions
|
|
@ -88,7 +88,7 @@ def main():
|
|||
"-m",
|
||||
"floss.main",
|
||||
str(file_path),
|
||||
"--no",
|
||||
"--no-string-type",
|
||||
"stack",
|
||||
"tight",
|
||||
"decoded",
|
||||
|
|
|
|||
|
|
@ -46,7 +46,7 @@ def run_program(script_path: Path, args):
|
|||
@lru_cache()
|
||||
def get_results_file_path():
|
||||
res_path = Path("results.json")
|
||||
p = run_program(Path("floss/main.py"), ["--no", "static", "-j", str(get_file_path())])
|
||||
p = run_program(Path("floss/main.py"), ["--no-string-type", "static", "-j", str(get_file_path())])
|
||||
with res_path.open("w") as f:
|
||||
f.write(p.stdout.decode("utf-8"))
|
||||
return str(res_path)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue