diff options
author | Jack Lloyd <[email protected]> | 2019-06-03 10:42:44 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-06-03 10:42:44 -0400 |
commit | aed46aad14b793ca04309d053dc55bb77411c089 (patch) | |
tree | 65c032ff9a241bdff84de17bba2b0fc240734b87 | |
parent | df736f506c399b6ddde46579a3ebbbf6c907f2f3 (diff) |
Add build step for LGTM [ci skip]
l--------- | .lgtm.yml | 1 | ||||
-rw-r--r-- | src/scripts/ci/lgtm.yml | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/.lgtm.yml b/.lgtm.yml new file mode 120000 index 000000000..ad8d0ec54 --- /dev/null +++ b/.lgtm.yml @@ -0,0 +1 @@ +src/scripts/ci/lgtm.yml
\ No newline at end of file diff --git a/src/scripts/ci/lgtm.yml b/src/scripts/ci/lgtm.yml new file mode 100644 index 000000000..036470dd6 --- /dev/null +++ b/src/scripts/ci/lgtm.yml @@ -0,0 +1,6 @@ + +extraction: + cpp: + configure: + command: + - ./configure.py |