diff options
| author | eunhhu <[email protected]> | 2026-09-26 07:12:17 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-26 07:12:17 +0100 |
| commit | d6c67de580fb7ec2b75ec73a14a7cbb551b93099 (patch) | |
| tree | 24a4fc20bc3c30599c8a7b23b4e18baeb94e569c /docs/research/003-live-rules.md | |
| parent | 0ea774f20703270a837c0f52adb0b44448a9a93a (diff) | |
| download | pure-d6c67de580fb7ec2b75ec73a14a7cbb551b93099.tar.gz pure-d6c67de580fb7ec2b75ec73a14a7cbb551b93099.zip | |
Rebuild module hosts when the executor or store changes
MODULE and MODULE_HEADERS were defined below the pure-serve rule, and a
rule's prerequisites expand when make reads it, so pure-serve depended on
neither: changing the store or the executor left a stale server behind.
Define them before any rule names them.
Diffstat (limited to 'docs/research/003-live-rules.md')
0 files changed, 0 insertions, 0 deletions