jenkins-bot has submitted this change and it was merged.
Change subject: Correct directory for patch extensions
......................................................................
Correct directory for patch extensions
The directory set for exporting the previous version's extension to
generate the patch tarball was re-exporting the extension to the
current version's directory.
Change-Id: I50f359c55afece3e24fcd8121cbfdbb252aa90eb
---
M make-release/make-release
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-release/make-release b/make-release/make-release
index 244de39..f65ecbc 100755
--- a/make-release/make-release
+++ b/make-release/make-release
@@ -360,7 +360,7 @@
export(prevBranch, prevDir, gitRoot)
for ext in getVersionExtensions(prevVersion, extensions):
- exportExtension(branch, ext, package, gitRoot)
+ exportExtension(branch, ext, prevDir, gitRoot)
makePatch(dir + '/' + package + '.patch.gz', prevDir, package,
'normal')
outFiles.append(package + '.patch.gz')
--
To view, visit https://gerrit.wikimedia.org/r/82749
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I50f359c55afece3e24fcd8121cbfdbb252aa90eb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: CSteipp <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: MarkAHershberger <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
