Enhance copy in Makefile

2023-08-21 12:18:23 +02:00 · 2023-08-21 12:18:23 +02:00 · b686b3c9c3
commit b686b3c9c3
parent 2dd04a6c44
1 changed files with 1 additions and 4 deletions
--- a/5
+++ b/5
@ -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)