| commit | 37c23e051cd37a6daf0ff7696ae85c9070b114b4 | [log] [tgz] |
|---|---|---|
| author | Jeongik Cha <jeongik@google.com> | Thu Aug 08 22:02:45 2019 +0900 |
| committer | Jeongik Cha <jeongik@google.com> | Thu Aug 08 22:11:03 2019 +0900 |
| tree | a3a649c49428313ecf1deb7283bef9f82a560297 | |
| parent | 5e22d28ecb162c2d59ffab5d2cc7899d40a9e2a6 [diff] |
Copy common.csv and diff.csv into DIST_DIR Bug: 138639389 Test: DIST_DIR=... compare_image_and_print.sh ~~ and then check if there are files in DIST_DIR Change-Id: Ia3efde82429abb740b9deb93b4c87c0b45a0217a
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