diff options
| -rw-r--r-- | src/globalvars.py | 6 | ||||
| -rw-r--r-- | src/util.py | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/src/globalvars.py b/src/globalvars.py index e18a589..98434c3 100644 --- a/src/globalvars.py +++ b/src/globalvars.py @@ -41,16 +41,22 @@ verbosity = 0 allocators = {} +# allocbench/src/ srcdir = os.path.dirname(os.path.abspath(inspect.getfile(inspect.currentframe()))) +# allocbench/src/benchmarks benchsrcdir = os.path.join(srcdir, "benchmarks") +# allocbench/src/allocators allocsrcdir = os.path.join(srcdir, "allocators") +# allocbench allocbenchdir = os.path.dirname(srcdir) +# allocbench/build builddir = os.path.join(allocbenchdir, "build") +# allocbench/build/allocators allocbuilddir = os.path.join(builddir, "allocators") resdir = None diff --git a/src/util.py b/src/util.py index 027cbcb..b44a263 100644 --- a/src/util.py +++ b/src/util.py @@ -164,12 +164,12 @@ def print_version_and_exit(): proc = subprocess.run(["git", "status", "--porcelain"], universal_newlines=True, stdout=subprocess.PIPE) - + if proc.returncode != 0: print_error("git status --porcelain failed") exit(1) dirty = "-dirty" if proc.stdout != "" else "" - + print(f"{commit}{dirty}") exit(0) |