From b686b3c9c35fc54fcdeecd8f2536f200aa16ceb9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Montan=CC=83ana?= <rmontanana@gmail.com>
Date: Mon, 21 Aug 2023 12:18:23 +0200
Subject: [PATCH] Enhance copy in Makefile

---
 Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 23db4eb..ca6da18 100644
--- a/Makefile
+++ b/Makefile
@@ -11,12 +11,9 @@ setup: ## Install dependencies for tests and coverage
 		pip install gcovr; \
 	fi
 
+dest ?= ../discretizbench
 copy: ## Copy binary files to selected folder
 	@echo "Destination folder: $(dest)"
-	@if test "$(dest)" == "" ; then \
-		echo "Destination folder is empty"; \
-		exit 1; \
-	fi
 	make build
 	@echo ">>> Copying files to $(dest)"
 	@cp build/src/Platform/main $(dest)