remove line - no longer needed

2019-01-12 17:41:05 -05:00 · 2019-01-12 17:41:05 -05:00 · eeb237c00a
commit eeb237c00a
parent 545d24e010
1 changed files with 0 additions and 1 deletions
--- a/toolchain.py
+++ b/toolchain.py
@ -55,7 +55,6 @@ def cache_execution(f):
        if args:
            for arg in args:
                key += ".{}".format(arg)
-        key_time = "{}.at".format(key)
        if key in state and not force:
            print("# (ignored) {} {}".format(f.__name__.capitalize(), self.name))
            return