diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2019-09-11 20:34:01 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2019-09-11 20:34:01 +0200 |
| commit | 15d36ece5c0b905769f015343de4ed3afc7a9553 (patch) | |
| tree | 46436a226dffb9ced5718c8053cba0eb958f44a5 | |
| parent | 558bed67565110bb01dc56ef135b86c113b8b32a (diff) | |
| download | allocbench-15d36ece5c0b905769f015343de4ed3afc7a9553.tar.gz allocbench-15d36ece5c0b905769f015343de4ed3afc7a9553.zip | |
improve debug output of Allocator.build
| -rw-r--r-- | src/allocator.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/allocator.py b/src/allocator.py index 4243609..41d66c7 100644 --- a/src/allocator.py +++ b/src/allocator.py @@ -144,6 +144,7 @@ class Allocator: build_needed = not os.path.isdir(self.dir) buildtimestamp_path = os.path.join(self.dir, ".buildtime") + print_info2(f"Building {self.name}...") if not build_needed: print_info2("Old build found. Comparing build time with mtime") @@ -158,7 +159,7 @@ class Allocator: print_debug("Time of last build:", timestamp.isoformat()) print_debug("Last modification of allocators file:", modtime.isoformat()) - print_info2("Build needed:", build_needed) + print_info2("" if build_needed else "No " + "build needed") if build_needed: if self.sources: |