From 4dda86615c2feeb16890d67da1fc50c74aa2e92f Mon Sep 17 00:00:00 2001 From: JoeWang1127 Date: Wed, 27 Mar 2024 20:19:43 +0000 Subject: [PATCH] fix: add main to generate_repo.py --- library_generation/generate_repo.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/library_generation/generate_repo.py b/library_generation/generate_repo.py index b33e8ba10a..a4a4a826f2 100755 --- a/library_generation/generate_repo.py +++ b/library_generation/generate_repo.py @@ -155,3 +155,7 @@ def get_target_libraries( for library in config.libraries if library.get_library_name() in target_libraries ] + + +if __name__ == "__main__": + main()