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

Detect Docker robustly
riscvarchive · Sep 27, 2023 · b8d3182 · b8d3182
2 parents 0b81b44 + 7ef1f8e
commit b8d3182
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."