diff options
Diffstat (limited to 'scripts/options.awk')
| -rwxr-xr-x | scripts/options.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/options.awk b/scripts/options.awk index 5a0e62652..fef5dfd78 100755 --- a/scripts/options.awk +++ b/scripts/options.awk @@ -805,8 +805,8 @@ END{ print comment, "end of options", cend >out # Do the 'setting' values second, the algorithm the standard - # tree walk (O(1)) done in an O(2) while/for loop; interations - # settings x depth, outputing the deepest required macros + # tree walk (O(1)) done in an O(2) while/for loop; iterations + # settings x depth, outputting the deepest required macros # first. print "" >out print "/* SETTINGS */" >out |