| commit | bd92542b508a966acaeb3baa5ada80d1d1efa447 | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Sun Aug 11 23:04:49 2019 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Sun Aug 11 23:04:49 2019 +0000 |
| tree | 090c0d2f549d7511f58f9bf16bb84df89d340e1d | |
| parent | 9ec787272023e527f751790d7e0908e24def0602 [diff] | |
| parent | 748307e2c8ff4b43f3ca0664a4c559caa6b08fbc [diff] |
Merge "Include headers and props to VNDK snapshot"
diff --git a/vndk/tools/image-diff-tool/compare_images_and_print.sh b/vndk/tools/image-diff-tool/compare_images_and_print.sh index fc8b67b..9dd958d 100755 --- a/vndk/tools/image-diff-tool/compare_images_and_print.sh +++ b/vndk/tools/image-diff-tool/compare_images_and_print.sh
@@ -8,3 +8,7 @@ echo echo " - Different parts" cat diff.csv + +if [ -v DIST_DIR ]; then + cp common.csv diff.csv $DIST_DIR +fi