From ea78e5de466b756d74dd6f38fc2ed56de9246ab1 Mon Sep 17 00:00:00 2001 From: flysand7 Date: Sun, 23 Jul 2023 21:24:50 +1100 Subject: [PATCH] git add . --- .github/workflows/build-linux.yml | 3 +++ build.lua | 12 +++--------- readme.md | 5 +++-- 3 files changed, 9 insertions(+), 11 deletions(-) diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml index cfaa0ca..2d47a25 100644 --- a/.github/workflows/build-linux.yml +++ b/.github/workflows/build-linux.yml @@ -31,6 +31,9 @@ jobs: - name: Install lua-path shell: bash run: luarocks install lua-path + - name: Install luafilesystem + shell: bash + run: luarocks install luafilesystem - name: Build working-directory: ${{env.GITHUB_WORKSPACE}} shell: bash diff --git a/build.lua b/build.lua index 7eff5ed..6727727 100755 --- a/build.lua +++ b/build.lua @@ -23,15 +23,9 @@ local compiler_options = args.options or '' -- Clean the build files if needed function rmdir(p) - path.each(path.join(p,"*"), function(P) - path.remove(P) - end,{ - param = "f"; -- request full path - delay = true; -- use snapshot of directory - recurse = true; -- include subdirs - reverse = true; -- subdirs at first - }) - path.remove(p) + path.each(path.join(p,"*"), function(P) path.remove(P) end, + {param = "f",delay = true,recurse = true,reverse = true}) + path.remove(p) end if is_clean then print('Cleaning files..') diff --git a/readme.md b/readme.md index d28b955..385a885 100644 --- a/readme.md +++ b/readme.md @@ -48,8 +48,9 @@ For executing the script you will need lua and some lua dependencies that you can install with luarocks: ``` -# luarocks install lua-path -# luarocks install argparse +$ luarocks install luafilesystem +$ luarocks install lua-path +$ luarocks install argparse ``` ### Building