diff options
Diffstat (limited to 'platform/linux/scripts/run.sh')
-rwxr-xr-x | platform/linux/scripts/run.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platform/linux/scripts/run.sh b/platform/linux/scripts/run.sh index 3e40881ec6..1c0c13968a 100755 --- a/platform/linux/scripts/run.sh +++ b/platform/linux/scripts/run.sh @@ -17,6 +17,9 @@ make linux -j${JOBS} BUILDTYPE=${BUILDTYPE} mapbox_time "compile_render_binary" \ make render -j${JOBS} BUILDTYPE=${BUILDTYPE} +mapbox_time "compile_offline_binary" \ +make offline -j${JOBS} BUILDTYPE=${BUILDTYPE} + mapbox_time "compile_tests" \ make test -j${JOBS} BUILDTYPE=${BUILDTYPE} |