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