diff options
Diffstat (limited to 'www/mod_php5/scripts/configure.php')
| -rw-r--r-- | www/mod_php5/scripts/configure.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/www/mod_php5/scripts/configure.php b/www/mod_php5/scripts/configure.php index 9ff2d48a7fb2..046a8876f1ae 100644 --- a/www/mod_php5/scripts/configure.php +++ b/www/mod_php5/scripts/configure.php @@ -1,5 +1,9 @@ #!/bin/sh +if [ "${BATCH}" ]; then + ${TOUCH} ${WRKDIRPREFIX}${CURDIR}/Makefile.inc + exit +fi if [ -f ${WRKDIRPREFIX}${CURDIR}/Makefile.inc ]; then exit fi |