mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2024-08-19 22:26:10 +00:00
Enable make check in Ubuntu 16.04 and 18.04
This commit is contained in:
parent
a0d0e0b7ba
commit
cb50d218d4
|
@ -137,7 +137,7 @@ ubuntu16.04:
|
||||||
- cd build
|
- cd build
|
||||||
- cmake -DENABLE_OSMOSDR=ON ..
|
- cmake -DENABLE_OSMOSDR=ON ..
|
||||||
- make -j2
|
- make -j2
|
||||||
# - make check
|
- make check
|
||||||
- make install
|
- make install
|
||||||
allow_failure: true
|
allow_failure: true
|
||||||
|
|
||||||
|
@ -151,7 +151,7 @@ ubuntu18.04:
|
||||||
- cd build
|
- cd build
|
||||||
- cmake -DENABLE_OSMOSDR=ON ..
|
- cmake -DENABLE_OSMOSDR=ON ..
|
||||||
- make -j2
|
- make -j2
|
||||||
# - make check
|
- make check
|
||||||
- make install
|
- make install
|
||||||
allow_failure: true
|
allow_failure: true
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user