22 Oct
2016
22 Oct
'16
10:33 a.m.
On 09/10/16 21:51, Allan McRae wrote:
On 09/10/16 03:34, Alad Wenter wrote:
util/util.sh, util/message.sh, and util/option.sh were the only remaining scripts which were not generated by make.
They also do not need generated by make. All the other scripts do change when run through the edit function.
We actually need this patch, but for an unforeseen reason! If we do not generate these files, they will not be in the build directory when we run "make distcheck". It is easier to just have them generated, even though the processing does nothing to them. I will pull, but with an altered commit message. Allan