summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcos <cos>2023-09-18 14:35:02 +0200
committercos <cos>2023-09-18 14:37:40 +0200
commit8ce987c770c72883bfb355ceec15f728bfd59cf8 (patch)
treeb5f4ea247127f1290f0998a42f26c2dbafec296d
parenta1af5107dd53388d86902c13ae2e0125ebcbc158 (diff)
downloadlua-language-server-8ce987c770c72883bfb355ceec15f728bfd59cf8.zip
Lint, and add the most desired comment to, make.sh
-rwxr-xr-xmake.sh7
1 files changed, 5 insertions, 2 deletions
diff --git a/make.sh b/make.sh
index 31cca369..3cf23e84 100755
--- a/make.sh
+++ b/make.sh
@@ -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