Merge "Copy common.csv and diff.csv into DIST_DIR"

2019-08-08 16:03:35 +00:00
parent c96563d7f6 37c23e051c
commit 9ec7872720
1 changed files with 4 additions and 0 deletions
--- 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 @@ cat common.csv
 echo
 echo " - Different parts"
 cat diff.csv
+
+if [ -v DIST_DIR ]; then
+  cp common.csv diff.csv $DIST_DIR
+fi