On Sat, 2019-04-27 at 13:49 -0400, Paul Smith wrote:
> On Fri, 2019-04-26 at 17:26 -0400, Paul Smith wrote:
> > We're trying to implement precompiled headers (yes, I've seen all the
> > various github projects around this). As part of this we need to make
> > sure the precompiled header is
On Fri, 2019-04-26 at 17:26 -0400, Paul Smith wrote:
> We're trying to implement precompiled headers (yes, I've seen all the
> various github projects around this). As part of this we need to make
> sure the precompiled header is rebuilt whenever any of the headers that
> it includes changes:
We're trying to implement precompiled headers (yes, I've seen all the
various github projects around this). As part of this we need to make
sure the precompiled header is rebuilt whenever any of the headers that
it includes changes: this seems like exactly the job for
add_custom_command's
