diff options
| author | dirk <dirk@FreeBSD.org> | 1999-08-27 05:18:15 +0800 |
|---|---|---|
| committer | dirk <dirk@FreeBSD.org> | 1999-08-27 05:18:15 +0800 |
| commit | 642bb4d7aabda24f5b34da03397b4c73b5930691 (patch) | |
| tree | 22c75f57e52781adfeda3a74780f6523b42ea1e3 /www/mod_php3/scripts | |
| parent | ba7b077fe34722d0e489dde6c0f191402f303db6 (diff) | |
| download | freebsd-ports-graphics-642bb4d7aabda24f5b34da03397b4c73b5930691.tar.gz freebsd-ports-graphics-642bb4d7aabda24f5b34da03397b4c73b5930691.tar.zst freebsd-ports-graphics-642bb4d7aabda24f5b34da03397b4c73b5930691.zip | |
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.)
Diffstat (limited to 'www/mod_php3/scripts')
| -rw-r--r-- | www/mod_php3/scripts/configure.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/www/mod_php3/scripts/configure.php b/www/mod_php3/scripts/configure.php index c7b91371b58..28f8fd526bb 100644 --- a/www/mod_php3/scripts/configure.php +++ b/www/mod_php3/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 |