3 echo "##########################################################################"
5 echo "##########################################################################"
7 echo "Installing binary version"
8 if [ -d $PRODUCT_INSTALL ]; then
11 mkdir -p $PRODUCT_INSTALL
13 cp -r $SOURCE_DIR/* $PRODUCT_INSTALL