From d6ddfda80a1175dcda7de128535a5e97e8d6a778 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Tue, 11 Oct 2022 17:56:28 +0200 Subject: [PATCH] Added dependency to config.h in makefiles --- tools/build_makefile.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build_makefile.py b/tools/build_makefile.py index 797985e..11ec684 100755 --- a/tools/build_makefile.py +++ b/tools/build_makefile.py @@ -235,7 +235,7 @@ def main(): "$(src_qmckl_fo): $(src_qmckl_f)" ] for f in sorted(DEPS.keys()): if not DEPS[f][-1].endswith(".tangled"): - output += [ f + ": " + " ".join(DEPS[f]) ] + output += [ f + ": include/config.h " + " ".join(DEPS[f]) ] output+= ["", "## Test files",