diff options
author | Minijackson <minijackson@riseup.net> | 2018-02-27 13:22:08 +0100 |
---|---|---|
committer | Minijackson <minijackson@riseup.net> | 2018-02-27 16:14:01 +0100 |
commit | b40fb7e6a8ea10b4e8c17251eb947adaa00fed0d (patch) | |
tree | b3eb516d944ce562bb95320ef15931d541099b18 | |
parent | 5a69861aa61c226cd9c4b1dd9cbb00eec5881d6d (diff) | |
download | kube-b40fb7e6a8ea10b4e8c17251eb947adaa00fed0d.tar.gz kube-b40fb7e6a8ea10b4e8c17251eb947adaa00fed0d.zip |
Separate ninja & ninja install to catch compilation errors
-rwxr-xr-x | .travis/install-flatbuffers.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis/install-flatbuffers.sh b/.travis/install-flatbuffers.sh index 5c6868eb..9a030084 100755 --- a/.travis/install-flatbuffers.sh +++ b/.travis/install-flatbuffers.sh | |||
@@ -7,7 +7,8 @@ cd flatbuffers-1.8.0 | |||
7 | mkdir build | 7 | mkdir build |
8 | cd build | 8 | cd build |
9 | cmake .. -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DFLATBUFFERS_BUILD_SHAREDLIB=ON | 9 | cmake .. -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DFLATBUFFERS_BUILD_SHAREDLIB=ON |
10 | ninja && sudo ninja install | 10 | ninja |
11 | sudo ninja install | ||
11 | sudo cp flatc /usr/bin | 12 | sudo cp flatc /usr/bin |
12 | cd | 13 | cd |
13 | rm -rf /tmp/flatbuffers.tar.gz /tmp/flatbuffers-1.8.0 | 14 | rm -rf /tmp/flatbuffers.tar.gz /tmp/flatbuffers-1.8.0 |