From d125e224ac39b4edf3b704385f8e1286773ef8d0 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 13 Jan 2026 16:34:48 +0000 Subject: [PATCH] python: Add dbscheme regeneration instructions --- python/extractor/semmle/dbscheme_gen.py | 1 + 1 file changed, 1 insertion(+) diff --git a/python/extractor/semmle/dbscheme_gen.py b/python/extractor/semmle/dbscheme_gen.py index 7c3a79fc371..cab51b9741e 100644 --- a/python/extractor/semmle/dbscheme_gen.py +++ b/python/extractor/semmle/dbscheme_gen.py @@ -62,6 +62,7 @@ def write(nodes, out): HEADER = '''/* * This dbscheme is auto-generated by '%s'. + * Run "make dbscheme" in python/extractor/ to regenerate. * WARNING: Any modifications to this file will be lost. * Relations can be changed by modifying master.py or * by adding rules to dbscheme.template