Your IP : 18.222.161.57
#!/bin/sh
###########################################
EXTRA_PATH_ENV="__extra_path_env__"
PROGRESS_F=__progress_f__
PHP_VERSION=__php_version__
PHP_BUILD_DIR=__php_build_dir__
###########################################
PATH=${EXTRA_PATH_ENV}$PATH
check_errs()
{
if [ "${1}" -ne "0" ] ; then
echo "**ERROR** ${2}"
echo "**ERROR** ${2}" >> ${PROGRESS_F}
exit ${1}
fi
}
main_msg()
{
# write to both stdout and progress
echo "${1}"
echo "${1}" >> ${PROGRESS_F}
}
# clear out
echo "**MAIN_STATUS** retrieved from ${PROGRESS_F}" > ${PROGRESS_F}