Platonides has uploaded a new change for review. https://gerrit.wikimedia.org/r/311862
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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/AntiSpoof refs/changes/62/311862/1 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: newchange Gerrit-Change-Id: Id87fd5f0491a73dba5f94778d715fb791865cc79 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/AntiSpoof Gerrit-Branch: master Gerrit-Owner: Platonides <platoni...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits