ExternalProject: Rerun download on SOURCE_DIR change

Fixes: #21748
2026-04-25 07:38:33 -05:00 · 2022-01-31 15:51:13 +11:00
parent 4b033ca0eb
commit d3477eba06
6 changed files with 108 additions and 68 deletions
@@ -1,3 +1,9 @@
-repository='@repository@'
-module='@module@'
-tag='@tag@'
+# This is a generated file and its contents are an internal implementation detail.
+# The download step will be re-executed if anything in this file changes.
+# No other meaning or use of this file is supported.
+
+method=@method@
+command=@cmd@
+source_dir=@source_dir@
+work_dir=@work_dir@
+@extra_repo_info@