diff options
| author | Nicholas Noll <nbnoll@eml.cc> | 2020-08-20 15:04:20 -0700 |
|---|---|---|
| committer | Nicholas Noll <nbnoll@eml.cc> | 2020-08-20 15:04:20 -0700 |
| commit | c712cd0f686df973f6281bbed98e821243bc3684 (patch) | |
| tree | 58f48f9093afd3a1ea23ab5d0da9aba1675b0fcc | |
| parent | 1c8a828dbe87d5adf6a0f528fe9f0e07ee32fa68 (diff) | |
fix: small name change
| -rw-r--r-- | pangraph/build.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pangraph/build.py b/pangraph/build.py index 8cbfa1d..5caceb3 100644 --- a/pangraph/build.py +++ b/pangraph/build.py @@ -52,7 +52,7 @@ def register_args(parser): default=False, action='store_true', help="boolean flag that toggles whether the graph statistics are computed for intermediate graphs") - parser.add_argument("-n", "--tmp-dir-num", + parser.add_argument("-n", "--num", type=int, default=-1, help="manually sets the tmp directory number. internal use only.") @@ -78,7 +78,7 @@ def main(args): root = args.dir.rstrip('/') tmp = f"{root}/tmp" - if args.n == -1: + if args.num == -1: i = 0 while os.path.isdir(tmp) and i < 64: i += 1 |