jenkins-bot has submitted this change and it was merged.
Change subject: Update Makefile
......................................................................
Update Makefile
Don't copy files before generating them and change
svn to git and url from http:// to https://
Change-Id: Id87fd5f0491a73dba5f94778d715fb791865cc79
---
M maintenance/Makefile
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/Makefile b/maintenance/Makefile
index b061987..6d6b958 100644
--- a/maintenance/Makefile
+++ b/maintenance/Makefile
@@ -1,16 +1,16 @@
equivset.txt equivset.php equivset.ser: equivset.in
php generateEquivset.php
+ cp equivset.ser ../equivset.ser
+ cp equivset.php ../equivset.php
equivset.in: equivset.head equivset_1 equivset_2 equivset_3
cat equivset.head > equivset.in
grep -v -h "^</*pre>" equivset_1 equivset_2 equivset_3 >> equivset.in
- echo "Regenerated $@. Remember to run 'svn diff equivset.in' before
commiting"
- cp equivset.ser ../equivset.ser
- cp equivset.php ../equivset.php
+ echo "Regenerated $@. Remember to run 'git diff equivset.in' before
commiting"
equivset_%:
- wget --user-agent="Extension AntiSpoof equivset.in rebuild" -O $@
"http://www.mediawiki.org/w/index.php?action=raw&title=Extension:AntiSpoof/Equivalence_sets/$@";
+ wget --user-agent="Extension AntiSpoof equivset.in rebuild" -O $@
"https://www.mediawiki.org/w/index.php?action=raw&title=Extension:AntiSpoof/Equivalence_sets/$@";
clean:
rm -f equivset.in equivset_1 equivset_2 equivset_3 equivset.txt
equivset.php equivset.ser
--
To view, visit https://gerrit.wikimedia.org/r/311862
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id87fd5f0491a73dba5f94778d715fb791865cc79
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AntiSpoof
Gerrit-Branch: master
Gerrit-Owner: Platonides <platoni...@gmail.com>
Gerrit-Reviewer: Kaldari <rkald...@wikimedia.org>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
