Files
cereal/updatecoverage.sh
2013-07-10 13:45:44 -07:00

17 lines
293 B
Bash

#!/usr/bin/env bash
# Updates the coverage documentation, and copies it into the appropriate place
# in the gh-pages branch.
set -e
tempdir=`mktemp -d`
make coverage COVERAGE_OUTPUT=${tempdir}/coverage
git checkout gh-pages
cp -r ${tempdir}/coverage* assets/coverage/
rm -rf ${tempdir}