mirror of
https://github.com/php/php-src.git
synced 2025-08-16 14:08:47 +02:00
fix bug #22841
This commit is contained in:
parent
268a14e049
commit
34aa1fdd2a
1 changed files with 2 additions and 1 deletions
|
@ -20,7 +20,8 @@ HOW TO USE IT
|
||||||
|
|
||||||
[ Note that GNU awk is likely required for this script to work. Debian
|
[ Note that GNU awk is likely required for this script to work. Debian
|
||||||
systems seem to default to using mawk, so you may need to change the
|
systems seem to default to using mawk, so you may need to change the
|
||||||
#! line in skeleton/create_stubs to use gawk explicitly. ]
|
#! line in skeleton/create_stubs and the cat $proto | awk line in
|
||||||
|
ext_skel to use gawk explicitly. ]
|
||||||
|
|
||||||
If you don't need to test the existence of any external header files,
|
If you don't need to test the existence of any external header files,
|
||||||
libraries or functions in them, the module is already almost ready to be
|
libraries or functions in them, the module is already almost ready to be
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue