1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/usr/bin/env bash
set -u
# Output from this script is piped to a file by CI, being run from before a
# change has been made and after a change has been made. Then both outputs are
# compared using summary_comment_diff.sh
# cd to git folder, just in case this is manually run:
ROOT_DIR="$( cd "$(dirname "${BASH_SOURCE[0]}")/../../" && pwd )"
cd ${ROOT_DIR}
dub --version
ldc2 --version
# fetch missing packages before timing
dub upgrade --missing-only
start=`date +%s`
dub build --build=release --force 2>&1 || echo "BUILD FAILED"
end=`date +%s`
build_time=$( echo "$end - $start" | bc -l )
strip bin/dub
echo "STAT:statistics (-before, +after)"
echo "STAT:executable size=$(wc -c bin/dub)"
echo "STAT:rough build time=${build_time}s"
|
