2018-07-05 03:22:39 +00:00
|
|
|
#!/bin/bash
|
|
|
|
set -euo pipefail
|
|
|
|
|
2018-07-05 03:45:01 +00:00
|
|
|
sudo apt-get install software-properties-common
|
2018-07-05 03:36:59 +00:00
|
|
|
sudo add-apt-repository --yes ppa:george-edison55/cmake-3.x
|
2018-07-05 03:35:30 +00:00
|
|
|
sudo apt-get update
|
2018-07-05 22:47:33 +00:00
|
|
|
COVERAGE=1 PREBUILT=1 ./make-linux
|
2018-07-06 00:12:24 +00:00
|
|
|
COVERAGE=1 ./tests/test-all
|