2 Dec
2019
2 Dec
'19
8:59 a.m.
On Dec 2, 2019, at 7:53 AM, Chinnapaiyan, Nagamani <Nagamani.Chinnapaiyan@viasat.com> wrote:
If directory names are different (but same files in them), INCLUDE works without any problem. But if I include same directory twice it segfaults.
I've pushed a fix. Alan DeKok.