diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-09-09 13:33:56 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-09-09 13:33:56 -0400 |
| commit | 5118eaf98126a9e77c4fef62f8ce8eae73678900 (patch) | |
| tree | 7c683f1f4063f5367c04757bfe5dc2b532f1321c /src | |
| parent | d7152f5c82f516b9013600a70e104c6ae1b01444 (diff) | |
Add `source_mapping` flag to the compiler config to force recompilation
when that flag changes (also add tomo version).
Diffstat (limited to 'src')
| -rw-r--r-- | src/tomo.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -275,7 +275,8 @@ int main(int argc, char *argv[]) { if (show_codegen.length > 0 && Text$equal_values(show_codegen, Text("pretty"))) show_codegen = Text("{ sed '/^#line/d;/^$/d' | clang-format | bat -l c -P; }"); - config_summary = Text$from_str(String(cc, " ", cflags, " -O", optimization)); + config_summary = Texts("TOMO_VERSION=", TOMO_VERSION, "\n", "COMPILER=", cc, " ", cflags, " -O", optimization, "\n", + "SOURCE_MAPPING=", source_mapping ? Text("yes") : Text("no"), "\n"); Text_t owner = Path$owner(Path$from_str(TOMO_PATH), true); Text_t user = Text$from_str(getenv("USER")); |
