Index: trunk/release-tools/make-release |
— | — | @@ -146,16 +146,13 @@ |
147 | 147 | return hash.hexdigest() |
148 | 148 | |
149 | 149 | def export(branch, dir): |
150 | | - if os.path.exists(dir): |
151 | | - print "The directory " + dir + " already exists, I'm assuming it is still valid" |
152 | | - else: |
153 | | - print "Exporting %s..." % (branch) |
154 | | - proc = subprocess.Popen(['svn', 'export', '-q', |
155 | | - 'http://svn.wikimedia.org/svnroot/mediawiki/' + branch + '/phase3', dir]) |
156 | | - if proc.wait() != 0: |
157 | | - print "svn export failed, exiting" |
158 | | - sys.exit(1) |
159 | | - print "Done" |
| 150 | + print "Exporting %s..." % (branch) |
| 151 | + proc = subprocess.Popen(['svn', 'export', '-q', '--force', |
| 152 | + 'svn+ssh://svn.wikimedia.org/svnroot/mediawiki/' + branch + '/phase3', dir]) |
| 153 | + if proc.wait() != 0: |
| 154 | + print "svn export failed, exiting" |
| 155 | + sys.exit(1) |
| 156 | + print "Done" |
160 | 157 | |
161 | 158 | def makePatch(patchFileName, dir1, dir2, type): |
162 | 159 | patchFile = open(patchFileName, 'w') |