#!/bin/sh set -e types=$* for type in $types do tools/checkcov $type done