Rename patches.zip to patches-for-developers.zip

phhusson · phhusson · commit ffa364fbc56f · 2022-01-06T11:39:54.000+01:00
diff --git a/build.sh b/build.sh
@@ -85,7 +85,7 @@ buildVariant() {
 
 repo manifest -r > release/$rom_fp/manifest.xml
 bash "$originFolder"/list-patches.sh
-cp patches.zip release/$rom_fp/patches.zip
+cp patches.zip release/$rom_fp/patches-for-developers.zip
 
 if [ "$build_target" == "android-12.0" ];then
     (

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ buildVariant() {`
`85`	`85`
`86`	`86`	`repo manifest -r > release/$rom_fp/manifest.xml`
`87`	`87`	`bash "$originFolder"/list-patches.sh`
`88`		`-cp patches.zip release/$rom_fp/patches.zip`
	`88`	`+cp patches.zip release/$rom_fp/patches-for-developers.zip`
`89`	`89`
`90`	`90`	`if [ "$build_target" == "android-12.0" ];then`
`91`	`91`	`(`