From 895470b01ba37148a8db9944ef7e51dbd4e8f6b3 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Sat, 6 Nov 2021 13:55:14 +1000
Subject: [PATCH] Coding style.

- Comment tools.py's main.
---
 eris/eris/tools.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/eris/eris/tools.py b/eris/eris/tools.py
index c806bad..8c91d2d 100755
--- a/eris/eris/tools.py
+++ b/eris/eris/tools.py
@@ -785,6 +785,9 @@ def tool_name_colored(tool, path):
 
 
 if __name__ == "__main__":
+    # Let tools be tested individually...
+    # ./tools.py <tool> <path>
+    # e.g. ./tools.py contents tools.toml
     tool_name, path = sys.argv[1:3]
     tool = locals()[tool_name]
     valid_tools = tools_for_path(path)