CCache/debian/patches/04_ignore_profile.diff

   1 diff -ru ccache-2.4/ccache.c ccache-2.4-tp/ccache.c
   2 --- ccache.c    2007-05-20 03:14:19.000000000 +1000
   3 +++ ccache.c    2007-05-20 03:17:54.000000000 +1000
   4 @@ -641,6 +641,9 @@
   5
   6                 /* these are too hard */
   7                 if (strcmp(argv[i], "-fbranch-probabilities")==0 ||
   8 +                   strcmp(argv[i], "-fprofile-arcs") == 0 ||
   9 +                   strcmp(argv[i], "-ftest-coverage") == 0 ||
  10 +                   strcmp(argv[i], "--coverage") == 0 ||
  11                     strcmp(argv[i], "-M") == 0 ||
  12                     strcmp(argv[i], "-MM") == 0 ||
  13                     strcmp(argv[i], "-x") == 0) {