diff --git a/software/riscv-tools/Makefile b/software/riscv-tools/Makefile
index 575f37841..da047737c 100644
--- a/software/riscv-tools/Makefile
+++ b/software/riscv-tools/Makefile
@@ -100,9 +100,9 @@ define patch_if_new
 	for p in ${$@_patch}; \
 	do \
 		echo "Checking if ${$@_base_patch} is applied..."; \
-		cd ${$@_src_root}; $(CHECK_PATCH) $$p &> /dev/null && continue; \
+		cd ${$@_src_root}; $(CHECK_PATCH) $$p > /dev/null 2>&1 && continue; \
 		echo "Applying unapplied patch to ${$@_src_root};" \
-		cd ${$@_src_root}; $(APPLY_PATCH) $$p &> /dev/null && continue; \
+		cd ${$@_src_root}; $(APPLY_PATCH) $$p > /dev/null 2>&1 && continue; \
 	done
 endef