ports/libraries/gnu-readline/del.sh
set -e rm -rf $MP_PREFIX/readline-git cd readline make clean cd .. rm -rf readline