Fix: quote readlink to fix windows make check (#1197)

stnolting · Mar 5, 2025 · fa0ea69 · fa0ea69
2 parents 8ab1fec + 32d40b1
commit fa0ea69
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sw/common/common.mk b/sw/common/common.mk
@@ -281,7 +281,7 @@ endif
 	@echo "NEORV32_HOME: $(NEORV32_HOME)"
 	@echo "---------------- Check: Shell ----------------"
 	@echo ${SHELL}
-	@readlink -f ${SHELL}
+	@readlink -f "${SHELL}"
 	@echo "---------------- Check: $(CC) ----------------"
 	@$(CC) -v
 	@echo "---------------- Check: $(OBJDUMP) ----------------"