diff options
author | Jeff Gaston <jeffrygaston@google.com> | 2017-11-28 16:58:37 -0800 |
---|---|---|
committer | Jeff Gaston <jeffrygaston@google.com> | 2017-11-29 12:54:43 -0800 |
commit | 0c573d383d901858ee52cbae764a83d450bc2abc (patch) | |
tree | cc9b6119a753c309b036c6ab6bf631305e267aad /scripts | |
parent | 53139119121242ed065eac3198ebc5fb4df3dbaf (diff) | |
download | build_soong-0c573d383d901858ee52cbae764a83d450bc2abc.tar.gz build_soong-0c573d383d901858ee52cbae764a83d450bc2abc.tar.bz2 build_soong-0c573d383d901858ee52cbae764a83d450bc2abc.zip |
Have diff_build_graphs.sh print the number of lines in the diff
Bug: b/69133815
Test: build/soong/diff_build_graphs.sh \
'build/soong:work^' 'build/soong:work'
Change-Id: Iaeb66ba53e1b3d7ddd4b4551b3ac29b12ce227c5
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/diff_build_graphs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/diff_build_graphs.sh b/scripts/diff_build_graphs.sh index e7d8749a..81010f32 100755 --- a/scripts/diff_build_graphs.sh +++ b/scripts/diff_build_graphs.sh @@ -120,7 +120,7 @@ function diffProduct() { diff -r "$unzipped1" "$unzipped2" -x build_date.txt -x build_number.txt -x '\.*' -x '*.log' -x build_fingerprint.txt -x build.ninja.d -x '*.zip' > $diffFile || true if [[ -s "$diffFile" ]]; then # outputs are different, so remove the unzipped versions but keep the zipped versions - echo "Some differences for product $product:" + echo "First few differences (total diff linecount=$(wc -l $diffFile)) for product $product:" cat "$diffFile" | head -n 10 echo "End of differences for product $product" rm -rf "$unzipped1" "$unzipped2" |