Dag-Erling Smørgrav 1826bb12bf Modify the coverage build script so that it only runs "make clean" if ... coverage was not already enabled when the script was started.		2015-10-03 14:30:24 +00:00
..
coverage.sh.in	Modify the coverage build script so that it only runs "make clean" if	2015-10-03 14:30:24 +00:00
setprops.sh	Remove author and sponsor tags; we'll deal with that some other way.	2014-08-01 14:31:07 +00:00