On 20/05/21 07:08, Thomas Huth wrote:
OK... Not sure how to detect it from ninja then.Every time you pull, there could be changes to the "configure" script which affect the build ... I guess you also won't notice those when you're only compiling with ninja? Thus at least after pulling from upstream, I think you have to type "make" once at least.
Yes, and using "ninja" directly is not supported. Paolo
