From 4f45be0924d737de550fa1be43176545ee56a8a2 Mon Sep 17 00:00:00 2001 From: Stephan Dilly Date: Mon, 29 Jun 2020 16:00:21 +0200 Subject: [PATCH] better naming --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 13c10649..1da266d6 100644 --- a/Makefile +++ b/Makefile @@ -41,7 +41,7 @@ clippy-pedantic: check: fmt clippy install: - cargo install --path "." + cargo install --path "." --offline -install-debug: +install-timing: cargo install --features=timing --path "." --offline \ No newline at end of file