summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/arg.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/arg.c b/src/arg.c
index 1b0dbae..0e7644e 100644
--- a/src/arg.c
+++ b/src/arg.c
@@ -205,7 +205,8 @@ int dcc_scan_args(char *argv[], char **input_file, char **output_file,
} else if (!strcmp(a, "-S")) {
seen_opt_s = 1;
} else if (!strcmp(a, "-fprofile-arcs")
- || !strcmp(a, "-ftest-coverage")) {
+ || !strcmp(a, "-ftest-coverage")
+ || !strcmp(a, "--coverage")) {
rs_log_info("compiler will emit profile info; must be local");
return EXIT_DISTCC_FAILED;
} else if (!strcmp(a, "-frepo")) {