#!/usr/bin/sh if [ "${BUILD_PHP}" -ne 0 ]; then cat <