Merge pull request #247501 from oxij/fix/fetchrepoproject

fetchrepoproject: fix a bug
This commit is contained in:
Weijia Wang
2023-08-06 16:32:48 +02:00
committed by GitHub
@@ -60,7 +60,7 @@ in stdenvNoCC.mkDerivation {
${optionalString (local_manifests != []) ''
mkdir .repo/local_manifests
for local_manifest in ${concatMapStringsSep " " toString local_manifests}; do
cp $local_manifest .repo/local_manifests/$(stripHash $local_manifest; echo $strippedName)
cp $local_manifest .repo/local_manifests/$(stripHash $local_manifest)
done
''}