aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/nanopb/tests/splint/SConscript
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/nanopb/tests/splint/SConscript')
-rw-r--r--third_party/nanopb/tests/splint/SConscript16
1 files changed, 16 insertions, 0 deletions
diff --git a/third_party/nanopb/tests/splint/SConscript b/third_party/nanopb/tests/splint/SConscript
new file mode 100644
index 0000000000..cd4b5b9df6
--- /dev/null
+++ b/third_party/nanopb/tests/splint/SConscript
@@ -0,0 +1,16 @@
+# Check the nanopb core using splint
+
+Import('env')
+
+p = env.WhereIs('splint')
+
+if p:
+ env.Command('pb_decode.splint', '$NANOPB/pb_decode.c',
+ 'splint -f splint/splint.rc $SOURCE 2> $TARGET')
+
+ env.Command('pb_encode.splint', '$NANOPB/pb_encode.c',
+ 'splint -f splint/splint.rc $SOURCE 2> $TARGET')
+
+ env.Command('pb_common.splint', '$NANOPB/pb_common.c',
+ 'splint -f splint/splint.rc $SOURCE 2> $TARGET')
+