From 539ef2c28e2f8fe6ee8ae05cc945df97fbc845f1 Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <ekrefredrik@gmail.com>
Date: Tue, 3 Sep 2024 22:27:05 +0200
Subject: [PATCH] juliac: always update mtime of the manifest whenever the
 target is run

---
 juliac/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/juliac/Makefile b/juliac/Makefile
index 99300e8..11d6869 100644
--- a/juliac/Makefile
+++ b/juliac/Makefile
@@ -8,6 +8,7 @@ runicc: runicc.jl Project.toml Manifest.toml $(RUNIC_FILES)
 
 Manifest.toml: Project.toml ../Project.toml
 	$(JULIA) --project=. -e 'using Pkg; Pkg.instantiate()'
+	@touch $@ # Pkg.instantiate doesn't update the mtime if there are no changes
 
 clean:
 	-rm -f runicc Manifest.toml