diff options
| author | cos <cos> | 2023-09-18 14:35:02 +0200 |
|---|---|---|
| committer | cos <cos> | 2024-09-07 09:21:03 +0200 |
| commit | bb57e1b509438eb738fb4b0fb7de5decc14794fa (patch) | |
| tree | 830393323655c6e5fc8325cda0510fb15b84e847 | |
| parent | aaf16240f77bb75a3d8db89c2a99934c8b6022ee (diff) | |
| download | lua-language-server-bb57e1b509438eb738fb4b0fb7de5decc14794fa.zip | |
Add the most desired comment to make.sh
One can probably expect every new contributor, developer or other
technical interested party to be interested in how to build this project
quickly. Hence, adding an easily findable comment hinting in the right
direction seems like a reasonable thing to do.
| -rwxr-xr-x | make.sh | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5,6 +5,9 @@ pushd 3rd/luamake ./compile/install.sh ./compile/build.sh popd +# When confident with how the pieces fit together, the argument to luamake may +# be changed to speed up the edit-build-time-test cycle significantly. A list +# of available arguments can be obtained with: `luamake help` if [ -z "$1" ]; then 3rd/luamake/luamake rebuild else |