summaryrefslogtreecommitdiff
path: root/other/analysis/run-infer
blob: 942d0cfd05a1a6e16b6638fac3d9243738f0c8e4 (plain)
1
2
3
4
5
6
7
8
9
10
#!/bin/sh

# Infer ignores everything that's not in the "current file".
SKIP_LINES=1

. other/analysis/gen-file.sh

put auto_tests/lan_discovery_test.c

infer -- clang -fsyntax-only test.c $CPPFLAGS