diff options
author | fergus.henderson <fergushenderson@users.noreply.github.com> | 2014-02-27 13:55:35 +0000 |
---|---|---|
committer | fergus.henderson <fergushenderson@users.noreply.github.com> | 2014-02-27 13:55:35 +0000 |
commit | 44e89fc437dee4f9b8da44bf5980fbcffee02889 (patch) | |
tree | a55b5bd86131522c384b227b545a6ced179f85fa | |
parent | eecbff845aff5984e0b1a8ea3102212ee2ad35be (diff) | |
download | distcc-git-44e89fc437dee4f9b8da44bf5980fbcffee02889.tar.gz |
Handle '--coverage' like '-fprofile-arcs' and '-ftest-coverage':
fall back to compiling locally.
-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")) { |