diff options
Diffstat (limited to 'platform/linux/scripts/metrics.sh')
| -rwxr-xr-x | platform/linux/scripts/metrics.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/platform/linux/scripts/metrics.sh b/platform/linux/scripts/metrics.sh new file mode 100755 index 0000000000..82dcf98d5c --- /dev/null +++ b/platform/linux/scripts/metrics.sh @@ -0,0 +1,12 @@ +#!/usr/bin/env bash + +set -e +set -o pipefail + +# Generate stripped version +ARCH=$(uname -m) +RENDER=build/linux-${ARCH}/Release/mbgl-render +strip -s -x "${RENDER}" -o "${RENDER}-stripped" + +# Track individual architecture +scripts/log_binary_size.sh "${RENDER}-stripped" "Platform=Linux,Compiler=${_CC},Arch=${ARCH}" |