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 /src | |
| parent | df736f506c399b6ddde46579a3ebbbf6c907f2f3 (diff) | |
Add build step for LGTM [ci skip]
Diffstat (limited to 'src')
| -rw-r--r-- | src/scripts/ci/lgtm.yml | 6 |
1 files changed, 6 insertions, 0 deletions
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 |