#!/bin/sh
# This script uses gcov to generate coverage statistics on the
# executable.
#
# Usage: coverage "<list of source files>"
echo "/**" > COVERAGE
date >> COVERAGE
for i in $1; do
gcov $i >> COVERAGE
done
echo "*/" >> COVERAGE
