diff options
Diffstat (limited to 'platform/linux/scripts/run.sh')
-rwxr-xr-x | platform/linux/scripts/run.sh | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/platform/linux/scripts/run.sh b/platform/linux/scripts/run.sh new file mode 100755 index 0000000000..3e40881ec6 --- /dev/null +++ b/platform/linux/scripts/run.sh @@ -0,0 +1,28 @@ +#!/usr/bin/env bash + +set -e +set -o pipefail + +source ./platform/linux/scripts/setup.sh + +BUILDTYPE=${BUILDTYPE:-Release} + +################################################################################ +# Build +################################################################################ + +mapbox_time "compile_program" \ +make linux -j${JOBS} BUILDTYPE=${BUILDTYPE} + +mapbox_time "compile_render_binary" \ +make render -j${JOBS} BUILDTYPE=${BUILDTYPE} + +mapbox_time "compile_tests" \ +make test -j${JOBS} BUILDTYPE=${BUILDTYPE} + +################################################################################ +# Test +################################################################################ + +mapbox_time "run_tests" \ +make test-* BUILDTYPE=${BUILDTYPE} |