diff options
author | Joris Guyonvarch | 2025-08-30 18:13:39 +0200 |
---|---|---|
committer | Joris Guyonvarch | 2025-08-30 18:14:01 +0200 |
commit | 8c2291b20399135bb71393214dca64d401ccbc69 (patch) | |
tree | 5f7613a8334b347277c34772108523a5273e8fff | |
parent | a97dc06b38f6e9aa3fb3317872bd6e1cfbadc96f (diff) |
Use x86 backend in dev
This speeds up compilation times
-rwxr-xr-x | backend/bin/dev-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/bin/dev-server b/backend/bin/dev-server index 680e736..0952209 100755 --- a/backend/bin/dev-server +++ b/backend/bin/dev-server @@ -14,7 +14,7 @@ watchexec \ --watch src \ --clear clear \ --restart \ - zig build run & + zig build -Dtarget=x86_64-linux run & LIVE_SERVER_PID="$!" while true; do sleep 1; done |