diff options
Diffstat (limited to 'build/build-infer/infer-linux64.json')
| -rw-r--r-- | build/build-infer/infer-linux64.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build/build-infer/infer-linux64.json b/build/build-infer/infer-linux64.json new file mode 100644 index 0000000000..b6331b1d7e --- /dev/null +++ b/build/build-infer/infer-linux64.json @@ -0,0 +1,5 @@ +{ + "infer_repo": "https://github.com/facebook/infer", + "infer_revision": "99464c01da5809e7159ed1a75ef10f60d34506a4", + "patches": [] +} |