Merge pull request #14 from a4lg/robust-docker-detection

Detect Docker robustly
riscv · Sep 12, 2023 · 3414af9 · 3414af9
2 parents deebd2c + 26fbafb
commit 3414af9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -41,7 +41,7 @@ all: build
 
 build: 
 	@echo "Checking if Docker is available..."
-	@if command -v docker &> /dev/null ; then \
+	@if command -v docker >/dev/null 2>&1 ; then \
 		echo "Docker is available, building inside Docker container..."; \
 		$(MAKE) build-container; \
 	else \
@@ -62,4 +62,4 @@ build-no-container:
 clean:
 	@echo "Cleaning up generated files..."
 	rm -f $(PDF_RESULT)
-	@echo "Cleanup completed."
+	@echo "Cleanup completed."