Thorn.m: Update timestamp on generated thorn directory

This helps when using the thorn directory as a target in a Makefile

1 files changed, 6 insertions, 1 deletions

diff --git a/Tools/CodeGen/Thorn.m b/Tools/CodeGen/Thorn.m
index 9381948..5dfda48 100644
--- a/Tools/CodeGen/Thorn.m
+++ b/Tools/CodeGen/Thorn.m
@@ -1393,7 +1393,12 @@ CreateThorn[thorn_] :=
                                                lookup[#, Contents]] &,
                                                lookup[thorn, Sources]];
 
-    GenerateFile[sourceDirectory <> "/make.code.defn", lookup[thorn, Makefile]]];
+    GenerateFile[sourceDirectory <> "/make.code.defn", lookup[thorn, Makefile]];
+
+    (* Update thorn directory timestamp so that it can be used in makefiles *)
+    GenerateFile[thornDirectory <> "/temp", {}];
+    DeleteFile[thornDirectory <> "/temp"];
+];
 
 End[];