1 files changed, 10 insertions, 0 deletions
diff --git a/other/analysis/run-infer b/other/analysis/run-infer
new file mode 100755
index 00000000..942d0cfd
--- /dev/null
+++ b/other/analysis/run-infer
@@ -0,0 +1,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

diff --git a/other/analysis/run-infer b/other/analysis/run-infer new file mode 100755 index 00000000..942d0cfd --- /dev/null +++ b/other/analysis/run-infer
@@ -0,0 +1,10 @@
	1	#!/bin/sh
	2
	3	# Infer ignores everything that's not in the "current file".
	4	SKIP_LINES=1
	5
	6	. other/analysis/gen-file.sh
	7
	8	put auto_tests/lan_discovery_test.c
	9
	10	infer -- clang -fsyntax-only test.c $CPPFLAGS