diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2020-08-14 20:08:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-14 20:08:25 +0100 |
commit | 1f2c19f1581f1450eaf28b4095df203c9e38aeee (patch) | |
tree | be06101c92d9a73babba99c3b7fb12e9f6f7c0e9 /pkgs/build-support | |
parent | 729e7295cf7b3205fcfa72544c1195c03de11c3d (diff) | |
parent | 01058f5099b92e48d4bccba8639a8b7a7d3b4cb0 (diff) |
Merge pull request #68524 from nspin/pr/repo-manifest-name
fetchRepoProject: add manifestName parameter
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/fetchrepoproject/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchrepoproject/default.nix b/pkgs/build-support/fetchrepoproject/default.nix index f8793dbac9502..8144ed038bd09 100644 --- a/pkgs/build-support/fetchrepoproject/default.nix +++ b/pkgs/build-support/fetchrepoproject/default.nix @@ -2,7 +2,7 @@ { name, manifest, rev ? "HEAD", sha256 # Optional parameters: -, repoRepoURL ? "", repoRepoRev ? "", referenceDir ? "" +, repoRepoURL ? "", repoRepoRev ? "", referenceDir ? "", manifestName ? "" , localManifests ? [], createMirror ? false, useArchive ? false }: @@ -16,6 +16,7 @@ let (optionalString (repoRepoURL != "") "--repo-url=${repoRepoURL}") (optionalString (repoRepoRev != "") "--repo-branch=${repoRepoRev}") (optionalString (referenceDir != "") "--reference=${referenceDir}") + (optionalString (manifestName != "") "--manifest-name=${manifestName}") ]; repoInitFlags = [ |