diff options
| author |   Romain Forlot <romain.forlot@iot.bzh> | 2017-05-02 18:29:37 +0200 |
|---|---|---|
| committer | Romain Forlot <romain.forlot@iot.bzh> | 2017-05-02 18:29:37 +0200 |
| commit | b9e1b4435a406a8a27c078ea05dee1240e51704a (patch) | |
| tree | 3bd5e75d001d0c1d57710c47375af5c8ba84c26c /CAN-binder/libs/nanopb/tests/splint/splint.rc | |
| parent | 0242c26c2f5dc96387bca7efb118364c800f4ee7 (diff) | |
Added external libraries from openXC CMake files.
Now libraries are cleanly included and built.
Change-Id: Iaa85639578b55b2da8357bc438426403e2cca8de
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'CAN-binder/libs/nanopb/tests/splint/splint.rc')
| -rw-r--r-- | CAN-binder/libs/nanopb/tests/splint/splint.rc | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/CAN-binder/libs/nanopb/tests/splint/splint.rc b/CAN-binder/libs/nanopb/tests/splint/splint.rc deleted file mode 100644 index e47d3c21..00000000 --- a/CAN-binder/libs/nanopb/tests/splint/splint.rc +++ /dev/null @@ -1,37 +0,0 @@ -+checks -+partial -+matchanyintegral -+strictlib --nullassign --predboolint --predboolptr -+ptrnegate --switchloopbreak -+ignoresigns --infloopsuncon --type - -# splint's memory checks don't quite work without annotations --mustfreeonly --compmempass --nullret --observertrans --statictrans --compdestroy --nullpass --nullstate --compdef --usereleased --temptrans --dependenttrans --kepttrans --branchstate --immediatetrans --mustfreefresh - -# These tests give false positives, compiler typically has -# better warnings for these. --noret --noeffect --usedef - |