From 808565e7259111e5a37ee370f3bed06e78f6774c Mon Sep 17 00:00:00 2001
From: Georg Sauthoff <mail@georg.so>
Date: Tue, 30 Aug 2016 10:24:40 +0200
Subject: [PATCH] add note regarding better include file generation

---
 test/empty_cmd.mf | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/test/empty_cmd.mf b/test/empty_cmd.mf
index 5671456..5355911 100644
--- a/test/empty_cmd.mf
+++ b/test/empty_cmd.mf
@@ -100,4 +100,15 @@ hello:
 #
 #    This is a bug. 
 #
+#    Possible fix:
+#      i) Just don't use the make.state database before it is loaded.
+#         This effectively would disable command dependencies for
+#         generated include files. Similar effect as the described
+#         workaround.
+#     ii) or, preferably, load the make.state file before any
+#         processing of include directives. This would have
+#         the advantage that an include file is regenerated if a
+#         variable that is used in the generate action has
+#         changed (think: `generate.sh $(CC) $(LD) > tool_dependent.mf`
+