tools/make-frozen.py: Allow to run with no directory passed in.

In which case it will just emit empty frozen C definitions.
2019-10-10 23:22:29 +11:00 · 2019-10-10 23:22:29 +11:00 · 8e8cfa6f53
parent 8f7f671236
commit 8e8cfa6f53
1 changed files with 8 additions and 7 deletions
--- a/tools/make-frozen.py
+++ b/tools/make-frozen.py
@ -27,6 +27,7 @@ def module_name(f):

 modules = []

+if len(sys.argv) > 1:
    root = sys.argv[1].rstrip("/")
    root_len = len(root)