summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcos <cos>2023-09-18 14:35:02 +0200
committercos <cos>2023-12-21 11:58:03 +0100
commite7f01c1d3b67964ac80b223c1448840b3d388f81 (patch)
tree9997d203a8f5ab722cd601612e1c535600390bc7
parent50dfc81e075be5fe2cdf7b2b94007dd5ed2edefa (diff)
downloadlua-language-server-e7f01c1d3b67964ac80b223c1448840b3d388f81.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