elsif (/--?timeoutarg=(.*)/) { $timeoutArgPattern = $1; }
elsif (/--?execarg=(.*)/) { $execarg = "$execarg $1"; }
elsif (/--?setenv/) { }
+ elsif (/--?enable-coverage/) { }
elsif (/VALGRIND_COMMAND=(.*)/) {
$valgrind = $1; }
elsif (/VALGRIND_OPTIONS=(.*)/) {