Merge "Copy common.csv and diff.csv into DIST_DIR" am: 9ec7872720 am: 9f15bde9a7 am: 82dcae1912 am: c4511c6952
am: eb9b6cb0e8
Change-Id: Ib9c73743a913cc35b09eeb227b5e392609e25317
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user