diff options
| author | Jack Lloyd <[email protected]> | 2016-10-22 13:20:06 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-10-22 13:20:06 -0400 |
| commit | ecbe5a45f3d508b1c8aef7ee7508c65ac3d92c82 (patch) | |
| tree | d7af19f92488ef68549e4c87fc3c7dadc7e2db14 /doc/manual/ffi.rst | |
| parent | 4e43350da5046dcd2a5a34e453f9f79de4d29e06 (diff) | |
Fix Coverity scan
The build interceptor got confused by use of g++-4.8 vs g++
This used to work but broke at some point. Fixes #612
Diffstat (limited to 'doc/manual/ffi.rst')
0 files changed, 0 insertions, 0 deletions