diff options
-rw-r--r-- | src/arg.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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")) { |