3 echo "##########################################################################"
5 echo "##########################################################################"
7 if [ -f "$SOURCE_DIR/bin/ispc" ]
9 echo "INFO: about to copy the ispc binary utility to the installation folder: $PRODUCT_INSTALL/bin"
10 mkdir -p $PRODUCT_INSTALL/bin
11 cp $SOURCE_DIR/bin/ispc $PRODUCT_INSTALL/bin
12 chmod +x $PRODUCT_INSTALL/bin/ispc
14 echo "FATAL: NOT IMPLEMENTED"