Touch the state file to update its modification time

corporateshark · corporateshark · commit 0bff358820c2 · 2023-02-01T00:56:35.000-08:00
diff --git a/bootstrap.py b/bootstrap.py
@@ -880,6 +880,9 @@ def main(argv):
 
     log("Finished")
 
+    # touch the state cache file
+    os.utime(state_filename, None);
+
     return 0
 
 if __name__ == "__main__":
