Skip to content

Commit fb82659

Browse files
authored
Merge pull request #11766 from jsquyres/pr/stomp-another-egrep
examples/Makefile: use "grep -E" instead of "egrep"
2 parents c00f8b8 + e6a27b2 commit fb82659

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

examples/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@ mpi:
8686
@ if ompi_info --parsable | grep -q bindings:mpif.h:yes >/dev/null; then \
8787
$(MAKE) hello_mpifh ring_mpifh; \
8888
fi
89-
@ if ompi_info --parsable | egrep -q bindings:use_mpi:\"\?yes >/dev/null; then \
89+
@ if ompi_info --parsable | grep -E -q bindings:use_mpi:\"\?yes >/dev/null; then \
9090
$(MAKE) hello_usempi ring_usempi; \
9191
fi
9292
@ if ompi_info --parsable | grep -q bindings:use_mpi_f08:yes >/dev/null; then \

0 commit comments

Comments
 (0)