mirror of
https://github.com/php/web-doc.git
synced 2025-08-13 14:40:31 +00:00
scoping fix
This commit is contained in:
@ -2,7 +2,7 @@
|
||||
|
||||
. `dirname $0`/../../build-ops
|
||||
|
||||
NUMFORKS=10
|
||||
export NUMFORKS=10
|
||||
|
||||
cd ${SCRIPTSDIR}
|
||||
${PHP} checkent.php phpdoc > /dev/null
|
||||
|
Reference in New Issue
Block a user