<@U016HSAA3RQ> <@U016EM8L91B> A small fix so that `make ship` works from the `caravel_user_project` ...
a
@jeffdi @Tim Edwards A small fix so that
make ship
works from the
caravel_user_project
directory https://github.com/efabless/caravel/pull/101