Loading mpi 0 → 100755 +7 −0 Original line number Diff line number Diff line #!/bin/sh set -e for i in info program monitor; do make -B "$@" $i done Loading
mpi 0 → 100755 +7 −0 Original line number Diff line number Diff line #!/bin/sh set -e for i in info program monitor; do make -B "$@" $i done