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

am: 9ec7872720

Change-Id: I1fcb4b85f0b5ff48e744792f8ec7e36c90a2dfbc
This commit is contained in:
Jeongik Cha
2019-08-08 09:23:13 -07:00
committed by android-build-merger

View File

@@ -8,3 +8,7 @@ cat common.csv
echo echo
echo " - Different parts" echo " - Different parts"
cat diff.csv cat diff.csv
if [ -v DIST_DIR ]; then
cp common.csv diff.csv $DIST_DIR
fi