diff options
author | cos <cos> | 2023-09-18 14:35:02 +0200 |
---|---|---|
committer | cos <cos> | 2023-12-21 11:58:03 +0100 |
commit | e7f01c1d3b67964ac80b223c1448840b3d388f81 (patch) | |
tree | 9997d203a8f5ab722cd601612e1c535600390bc7 | |
parent | 50dfc81e075be5fe2cdf7b2b94007dd5ed2edefa (diff) | |
download | lua-language-server-e7f01c1d3b67964ac80b223c1448840b3d388f81.zip |
Lint, and add the most desired comment to, make.sh
-rwxr-xr-x | make.sh | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,7 +1,10 @@ #!/usr/bin/env bash git submodule update --init --recursive -pushd 3rd/luamake +pushd 3rd/luamake || { echo 'Could not enter 3rd/luamake' >&2; exit 1; } ./compile/build.sh -popd +popd || { echo 'popd failed' >&2; exit 1; } +# When confident with how the pieces fit together, the argument to luamake may +# by change to speed up the edit-build-time-test cycle significantly. A list of +# available arguments can be obtained with: `luamake help` ./3rd/luamake/luamake rebuild |