From 3d4109fef29cabfb154194bb5e02f54027a8aa90 Mon Sep 17 00:00:00 2001 From: Thayne McCombs Date: Fri, 2 Dec 2022 00:27:01 -0700 Subject: [PATCH] Fix directory for dev profile in makefile Because for whatever reason it uses "debug" instead of the profile name. --- Makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 62f44d86c..825b60959 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,4 @@ PROFILE=release -EXE=target/$(PROFILE)/fd CARGO_CMD=cargo prefix=/usr/local bindir=$(prefix)/bin @@ -7,8 +6,15 @@ datadir=$(prefix)/share exe_name=fd build_opts=--locked --profile $(PROFILE) +ifeq ($(PROFILE),dev) + profile_dir=debug +else + profile_dir=$(PROFILE) +endif +EXE=target/$(profile_dir)/fd + ifdef TARGET - EXE=target/$(TARGET)/$(PROFILE)/fd + EXE=target/$(TARGET)/$(profile_dir)/fd build_opts+=--target $(TARGET) endif