diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2018-10-14 12:55:24 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2018-10-14 12:55:24 +0200 |
| commit | 1c850bfcca97e0456a716a1889b5cf6c5e477cd8 (patch) | |
| tree | 8abc7ddda8e988ba248eefdf3ef05923b7383fbd /buildconf.bat | |
| parent | a6d3e56a1ee33f113ee0088b208b2f1bab82c551 (diff) | |
| download | php-git-1c850bfcca97e0456a716a1889b5cf6c5e477cd8.tar.gz | |
Sync leading and final newlines in source code files
This patch adds missing newlines, trims multiple redundant final
newlines into a single one, and trims redundant leading newlines.
According to POSIX, a line is a sequence of zero or more non-' <newline>'
characters plus a terminating '<newline>' character. [1] Files should
normally have at least one final newline character.
C89 [2] and later standards [3] mention a final newline:
"A source file that is not empty shall end in a new-line character,
which shall not be immediately preceded by a backslash character."
Although it is not mandatory for all files to have a final newline
fixed, a more consistent and homogeneous approach brings less of commit
differences issues and a better development experience in certain text
editors and IDEs.
[1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206
[2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2
[3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
Diffstat (limited to 'buildconf.bat')
| -rw-r--r-- | buildconf.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildconf.bat b/buildconf.bat index 27a4bcb2d1..698d80a823 100644 --- a/buildconf.bat +++ b/buildconf.bat @@ -4,4 +4,4 @@ SET PHP_BUILDCONF_PATH=%~dp0 copy %PHP_BUILDCONF_PATH%\win32\build\configure.bat %PHP_BUILDCONF_PATH% > nul SET PHP_SDK_SCRIPT_PATH= -IF NOT EXIST %PHP_BUILDCONF_PATH% (echo Error generating configure script, configure script was not copied) ELSE (echo Now run 'configure --help')
\ No newline at end of file +IF NOT EXIST %PHP_BUILDCONF_PATH% (echo Error generating configure script, configure script was not copied) ELSE (echo Now run 'configure --help') |