mirror of
https://github.com/php/php-src.git
synced 2024-11-30 21:35:36 +08:00
ef165b4422
First step when creating the `configure` script is currently using make. This is helpful when developing buildsystem to only rebuild `configure` and `main/php_config.h.in` files when one of the *.m4 or configure.ac file changes and saves the developer time a little. Realistically however, it is not needed that much considering the times of several seconds to fully rebuild the configure script and configuration header. The next step when running the `configure` script is much more time consuming so performance on buildconf level is a bit questionable and won't be noticed on today's systems. Additionally: - buildconf now removes cache and all targets and uses -f option on the first step i.e. autoconf. The autoheader does not need the -f option in this case. Closes GH-4437
35 lines
733 B
INI
35 lines
733 B
INI
# https://editorconfig.org/
|
|
|
|
root = true
|
|
|
|
[*]
|
|
trim_trailing_whitespace = true
|
|
insert_final_newline = true
|
|
end_of_line = lf
|
|
charset = utf-8
|
|
tab_width = 4
|
|
|
|
[{*.{awk,bat,c,cpp,d,h,l,re,skl,w32,y},Makefile*}]
|
|
indent_size = 4
|
|
indent_style = tab
|
|
|
|
[*.{dtd,html,inc,php,phpt,rng,wsdl,xml,xsd,xsl}]
|
|
indent_size = 4
|
|
indent_style = space
|
|
|
|
[*.{ac,m4,sh,yml}]
|
|
indent_size = 2
|
|
indent_style = space
|
|
|
|
[*.md]
|
|
indent_style = space
|
|
max_line_length = 80
|
|
|
|
[COMMIT_EDITMSG]
|
|
indent_size = 4
|
|
indent_style = space
|
|
max_line_length = 80
|
|
|
|
[*.patch]
|
|
trim_trailing_whitespace = false
|