diff options
author | cos <cos> | 2023-09-18 14:35:02 +0200 |
---|---|---|
committer | cos <cos> | 2023-09-18 14:37:40 +0200 |
commit | 8ce987c770c72883bfb355ceec15f728bfd59cf8 (patch) | |
tree | b5f4ea247127f1290f0998a42f26c2dbafec296d | |
parent | a1af5107dd53388d86902c13ae2e0125ebcbc158 (diff) | |
download | lua-language-server-8ce987c770c72883bfb355ceec15f728bfd59cf8.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 |