diff --git a/tools/build/make_check/Makefile b/tools/build/make_check/Makefile
index 4c2389a1b09..e57e70c32db 100644
--- a/tools/build/make_check/Makefile
+++ b/tools/build/make_check/Makefile
@@ -262,7 +262,7 @@ shell_1_csh:
 .if make(shell_1_sh)
 .SHELL: name="sh"
 shell_1_sh:
-	@ps -ax -opid,command | awk '$$1=="'$$$$'" { print $$2 }' | grep -q '^/bin/sh$$'
+	@ps -ax -opid,command | awk '$$1=="'$$$$'" { print $$2 }' | grep -E -q '^(/bin/)?sh$$'
 .endif
 
 .if make(shell_2)