#!/bin/bash
RUN() { echo + $@; $@; }
RUN curl -s -o codecov.sh https://codecov.io/bash
RUN bash codecov.sh -X gcov -X py -X fix
