# usage: gcovs files
echo '================================================================='
foreach file ($argv[1-])
        gcov -f $file
        echo '================================================================='
        end
