rillig c5b23e2249 lint: make path to lint data configurable
This is needed for strict bool mode, to make the custom header stdbool.h
available when lint is run as part of build.sh.
2021-01-24 16:55:09 +00:00
..