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