Browse Source

juliac: always update mtime of the manifest whenever the target is run

pull/57/head
Fredrik Ekre 1 year ago
parent
commit
539ef2c28e
No known key found for this signature in database
GPG Key ID: DE82E6D5E364C0A2
  1. 1
      juliac/Makefile

1
juliac/Makefile

@ -8,6 +8,7 @@ runicc: runicc.jl Project.toml Manifest.toml $(RUNIC_FILES)
Manifest.toml: Project.toml ../Project.toml Manifest.toml: Project.toml ../Project.toml
$(JULIA) --project=. -e 'using Pkg; Pkg.instantiate()' $(JULIA) --project=. -e 'using Pkg; Pkg.instantiate()'
@touch $@ # Pkg.instantiate doesn't update the mtime if there are no changes
clean: clean:
-rm -f runicc Manifest.toml -rm -f runicc Manifest.toml

Loading…
Cancel
Save