3 echo "##########################################################################"
5 echo "##########################################################################"
8 mkdir -p $PRODUCT_INSTALL
13 echo "*** make config"
14 make config prefix=${PRODUCT_INSTALL}
17 echo "ERROR on make config"
22 echo "*** make" $MAKE_OPTIONS
31 echo "*** make install"
35 echo "ERROR on install"