diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-08-19 00:10:08 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-08-19 00:10:08 +0200 |
| commit | 30e831c9602ea5d4d0603f5ad03baff481771b4b (patch) | |
| tree | 7548cd29ed5ecf3e975df5a2e6ae130ae488f36f /guides/setups | |
| parent | 338f941477ef6815bd4638bf166f1fddb5a4b3d3 (diff) | |
| download | memory-leaks-30e831c9602ea5d4d0603f5ad03baff481771b4b.tar.xz | |
Put extensions in Lua module instead of sneaking them in environment
Note that neither .cache/config.lua nor .cache/site-tree.json get
updated when EXTENSIONS changes. This could be hacked as follows:
config = EXTENSIONS="$(EXTENSIONS)"
ifneq "$(shell test -f $(config_token) && cat $(config_token))" \
"$(shell ./generate-config-token.py $(config))"
.PHONY: $(lua_config) $(site_tree) $(config_token)
endif
Plus a recipe for config_token, and some dependencies on it.
Diffstat (limited to 'guides/setups')
0 files changed, 0 insertions, 0 deletions