diff options
| author | Johannes Stoelp <johannes.stoelp@gmail.com> | 2025-01-15 21:37:45 +0100 |
|---|---|---|
| committer | Johannes Stoelp <johannes.stoelp@gmail.com> | 2025-01-15 21:37:45 +0100 |
| commit | b0159319727fd4cd15f62898b737786ae0e872a5 (patch) | |
| tree | 1aed1e23b027bfb3733f3e927c6761cc616ceb78 | |
| parent | 107017c693333b5deeb484d23010e38534d1fe03 (diff) | |
| download | zig-playground-b0159319727fd4cd15f62898b737786ae0e872a5.tar.gz zig-playground-b0159319727fd4cd15f62898b737786ae0e872a5.zip | |
setup: fix git pull in zls setup
| -rw-r--r-- | setup-zls.fish | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/setup-zls.fish b/setup-zls.fish index c9e3713..e51a84e 100644 --- a/setup-zls.fish +++ b/setup-zls.fish @@ -4,11 +4,12 @@ or exit 1 if ! test -d zls; git clone https://github.com/zigtools/zls end -git pull pushd zls +git pull + zig build -Doptimize=ReleaseSafe echo "SETUP zls" fish_add_path --path (pwd)/zig-out/bin -popd
\ No newline at end of file +popd |