diff options
Diffstat (limited to 'scripts/options.awk')
| -rwxr-xr-x | scripts/options.awk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/options.awk b/scripts/options.awk index fef5dfd78..284811967 100755 --- a/scripts/options.awk +++ b/scripts/options.awk @@ -1,8 +1,7 @@ #!/bin/awk -f + # scripts/options.awk - library build configuration control # -# last changed in libpng version 1.6.11 - June 5, 2014 -# # Copyright (c) 1998-2014 Glenn Randers-Pehrson # # This code is released under the libpng license. @@ -243,7 +242,7 @@ $1 == "file" && NF >= 2{ # option NAME ( (requires|enables|if) NAME* | on | off | disabled | # sets SETTING VALUE+ )* -# +# # Declares an option 'NAME' and describes its default setting (disabled) # and its relationship to other options. The option is disabled # unless *all* the options listed after 'requires' are set and at |