From 30342ca82d39f7732d72957f38b017ecf5ee1e35 Mon Sep 17 00:00:00 2001 From: Karol Damaszke Date: Wed, 3 Jul 2024 10:57:09 +0200 Subject: [PATCH] Fix Makefile commands (#161) --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 8b69754a..96e67e2b 100644 --- a/Makefile +++ b/Makefile @@ -6,13 +6,13 @@ install-integration-tests: cd clients/python && pip install . install-router: - cd router && cargo install --path . + cd router && cargo install --locked --path . install-launcher: - cd launcher && cargo install --path . + cd launcher && cargo install --locked --path . install-benchmark: - cd benchmark && cargo install --path . + cd benchmark && cargo install --locked --path . install: install-server install-router install-launcher install-custom-kernels