[#904] coverage.sh runs more cleanly as a bash script
[#904] coverage.sh runs more cleanly as a bash script

leesab/irods,PaulVanSchayck/irods,janiheikkinen/irods,PaulVanSchayck/irods,leesab/irods,PaulVanSchayck/irods,PaulVanSchayck/irods,PaulVanSchayck/irods,PaulVanSchayck/irods,PaulVanSchayck/irods,leesab/irods,PaulVanSchayck/irods,leesab/irods,janiheikkinen/irods,leesab/irods,PaulVanSchayck/irods,janiheikkinen/irods,janiheikkinen/irods,leesab/irods,janiheikkinen/irods,leesab/irods,janiheikkinen/irods,janiheikkinen/irods,janiheikkinen/irods,janiheikkinen/irods