git add .

This commit is contained in:
flysand7 2023-07-23 21:24:50 +11:00
parent bfbe6c82a0
commit ea78e5de46
3 changed files with 9 additions and 11 deletions

View File

@ -31,6 +31,9 @@ jobs:
- name: Install lua-path - name: Install lua-path
shell: bash shell: bash
run: luarocks install lua-path run: luarocks install lua-path
- name: Install luafilesystem
shell: bash
run: luarocks install luafilesystem
- name: Build - name: Build
working-directory: ${{env.GITHUB_WORKSPACE}} working-directory: ${{env.GITHUB_WORKSPACE}}
shell: bash shell: bash

View File

@ -23,15 +23,9 @@ local compiler_options = args.options or ''
-- Clean the build files if needed -- Clean the build files if needed
function rmdir(p) function rmdir(p)
path.each(path.join(p,"*"), function(P) path.each(path.join(p,"*"), function(P) path.remove(P) end,
path.remove(P) {param = "f",delay = true,recurse = true,reverse = true})
end,{ path.remove(p)
param = "f"; -- request full path
delay = true; -- use snapshot of directory
recurse = true; -- include subdirs
reverse = true; -- subdirs at first
})
path.remove(p)
end end
if is_clean then if is_clean then
print('Cleaning files..') print('Cleaning files..')

View File

@ -48,8 +48,9 @@ For executing the script you will need lua and some lua dependencies that
you can install with luarocks: you can install with luarocks:
``` ```
# luarocks install lua-path $ luarocks install luafilesystem
# luarocks install argparse $ luarocks install lua-path
$ luarocks install argparse
``` ```
### Building ### Building