diff options
author | Dirk Froemberg <dirk@FreeBSD.org> | 1999-08-26 21:18:15 +0000 |
---|---|---|
committer | Dirk Froemberg <dirk@FreeBSD.org> | 1999-08-26 21:18:15 +0000 |
commit | f1b6bb55b8f8d0d11b52d523bde720bf1d50d6f9 (patch) | |
tree | d6106aa6c90970a1e5271101d5f07a4095a669a6 /www/mod_php5/scripts/configure.php | |
parent | Update to version 1.4.0 (diff) |
Fix two minor problems:
- if e. g. a "make BATCH=yes fetch" was followed by a "make all"
the config menu popped up.
- if gd was installed but gd support was not checked in the config
menu, php was compiled with gd support nevertheless.
(There may be other support options having the same behavior.
I haven't checked all, yet.)
Notes
Notes:
svn path=/head/; revision=21006
Diffstat (limited to '')
-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 |