mathlib3

ae5e7cd4 - chore(scripts/mk_all.sh): allow 'mk_all.sh ../test' (#10628)

chore(scripts/mk_all.sh): allow 'mk_all.sh ../test' (#10628) Helpful for mathport CI, cf https://github.com/leanprover-community/mathport/pull/64 Co-authored-by: Scott Morrison <scott.morrison@gmail.com>