progress method

void progress(
  1. String message
)

Writes message to stderr as progress, unless quiet.

Implementation

void progress(String message) {
  if (!quiet) err.writeln(message);
}