apply debian/patches/04_ignore_profile.diff
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk@10905 626c5289-ae23-0410-ae9c-e8d60b6d4f22
This commit is contained in:
parent
72caf5920f
commit
05ec950cc2
1 changed files with 3 additions and 0 deletions
|
|
@ -659,6 +659,9 @@ static void process_args(int argc, char **argv)
|
|||
|
||||
/* these are too hard */
|
||||
if (strcmp(argv[i], "-fbranch-probabilities")==0 ||
|
||||
strcmp(argv[i], "-fprofile-arcs") == 0 ||
|
||||
strcmp(argv[i], "-ftest-coverage") == 0 ||
|
||||
strcmp(argv[i], "--coverage") == 0 ||
|
||||
strcmp(argv[i], "-M") == 0 ||
|
||||
strcmp(argv[i], "-MM") == 0 ||
|
||||
strcmp(argv[i], "-x") == 0) {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue