diff options
| author | Johannes Stoelp <johannes.stoelp@gmail.com> | 2025-01-15 21:37:45 +0100 |
|---|---|---|
| committer | Johannes Stoelp <johannes.stoelp@gmail.com> | 2025-02-07 21:54:55 +0100 |
| commit | dac11e0255f4e5990c730d680b1036b90930fb3c (patch) | |
| tree | 570e40484991d705445ac0e85e247c830dd82020 | |
| parent | f51b098bcd541ec6957c4a995b064df094763548 (diff) | |
| download | zig-playground-dac11e0255f4e5990c730d680b1036b90930fb3c.tar.gz zig-playground-dac11e0255f4e5990c730d680b1036b90930fb3c.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 |