[Notion-devel] [PATCH] build efficiency improvement

[Dima K. <no...@di...>]

Hi.

A while back I sent a few patches, and one fell through the cracks, so
I'm sending it again. This patch tweaks the build so that the lua
version is checked only as often as needed. On my machine it makes 'make
-n' builds take 0.5s down from 2.5s.

If I fix some other build issues (requiring more intrusive patches),
would such changes be considered, or do we want this to be stable?

dima