fetchRepoProject: add manifestName parameter
This commit is contained in:
parent
37e333af9a
commit
01058f5099
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
{ name, manifest, rev ? "HEAD", sha256
|
{ name, manifest, rev ? "HEAD", sha256
|
||||||
# Optional parameters:
|
# Optional parameters:
|
||||||
, repoRepoURL ? "", repoRepoRev ? "", referenceDir ? ""
|
, repoRepoURL ? "", repoRepoRev ? "", referenceDir ? "", manifestName ? ""
|
||||||
, localManifests ? [], createMirror ? false, useArchive ? false
|
, localManifests ? [], createMirror ? false, useArchive ? false
|
||||||
}:
|
}:
|
||||||
|
|
||||||
|
@ -16,6 +16,7 @@ let
|
||||||
(optionalString (repoRepoURL != "") "--repo-url=${repoRepoURL}")
|
(optionalString (repoRepoURL != "") "--repo-url=${repoRepoURL}")
|
||||||
(optionalString (repoRepoRev != "") "--repo-branch=${repoRepoRev}")
|
(optionalString (repoRepoRev != "") "--repo-branch=${repoRepoRev}")
|
||||||
(optionalString (referenceDir != "") "--reference=${referenceDir}")
|
(optionalString (referenceDir != "") "--reference=${referenceDir}")
|
||||||
|
(optionalString (manifestName != "") "--manifest-name=${manifestName}")
|
||||||
];
|
];
|
||||||
|
|
||||||
repoInitFlags = [
|
repoInitFlags = [
|
||||||
|
|
Loading…
Reference in New Issue