diff options
| author | Paul Bütow <pbuetow@mimecast.com> | 2019-01-04 11:11:03 +0000 |
|---|---|---|
| committer | Paul Bütow <pbuetow@mimecast.com> | 2019-01-04 11:11:03 +0000 |
| commit | 3205485b522083df47c1ebe6b301576fe12882f1 (patch) | |
| tree | f478eaa52d78eeb28b18c1d7165ee2e7c4465c41 | |
| parent | ba7c846a90a368c46915078f20da2426539318f9 (diff) | |
add jenkins target
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -31,3 +31,4 @@ dockerbuild: docker run -v $(PWD)/docker/opt:/opt -e 'KERNEL=$(KERNEL)' -it ioriot:$(KERNEL) make all test install dockerclean: bash -c 'test -d $(PWD)/docker && rm -Rfv $(PWD)/docker; exit 0' +jenkins: dockerbuild |