switch to more portable bash pipeline syntax (#7274)
switch to more portable bash pipeline syntax (#7274)


dmlc/tvm,dmlc/tvm,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,dmlc/tvm,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,Laurawly/tvm-1,dmlc/tvm,dmlc/tvm,Laurawly/tvm-1,Laurawly/tvm-1,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,dmlc/tvm,Laurawly/tvm-1