diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2017-12-05 02:04:29 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2017-12-05 02:04:29 +0000 |
| commit | 7c25d88e6b383499b16e0e2536ee5bcf6a85106b (patch) | |
| tree | 0eda26be18b8dd3ff2c33ee6fb666de29677cce9 /scripts | |
| parent | 7154928c93e062775c1d3885ed59a5b61c48e168 (diff) | |
| parent | 0c573d383d901858ee52cbae764a83d450bc2abc (diff) | |
| download | build_soong-7c25d88e6b383499b16e0e2536ee5bcf6a85106b.tar.gz build_soong-7c25d88e6b383499b16e0e2536ee5bcf6a85106b.tar.bz2 build_soong-7c25d88e6b383499b16e0e2536ee5bcf6a85106b.zip | |
Merge "Have diff_build_graphs.sh print the number of lines in the diff"
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" |