From a9cfb980aedc04cd5d55d9b1838639bbe7fcfd6d Mon Sep 17 00:00:00 2001 From: Alexander Popov Date: Sat, 10 Oct 2020 02:23:13 +0300 Subject: [PATCH] move tools to dir --- .gitignore | 5 +++-- tools/README.md | 1 + make_libs.py => tools/make_libs_list.py | 0 3 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 tools/README.md rename make_libs.py => tools/make_libs_list.py (100%) mode change 100755 => 100644 diff --git a/.gitignore b/.gitignore index 67cf4c6..4d3a4ac 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ env -version.json -libs.txt +tools/version.json +tools/libs.txt +for_build/mc_start.* diff --git a/tools/README.md b/tools/README.md new file mode 100644 index 0000000..14e0969 --- /dev/null +++ b/tools/README.md @@ -0,0 +1 @@ +* `make_libs_list.py` - parse `version.json` file and return libs diff --git a/make_libs.py b/tools/make_libs_list.py old mode 100755 new mode 100644 similarity index 100% rename from make_libs.py rename to tools/make_libs_list.py