3 echo "##########################################################################"
5 echo "##########################################################################"
13 ./configure --prefix=$PRODUCT_INSTALL
16 echo "ERROR on configure"
21 echo "*** make" $MAKE_OPTIONS
30 echo "*** make install"
34 echo "ERROR on make install"