aboutsummaryrefslogtreecommitdiff
path: root/devscripts
diff options
context:
space:
mode:
authorPhilipp Hagemeister <phihag@phihag.de>2013-01-06 23:38:36 +0100
committerPhilipp Hagemeister <phihag@phihag.de>2013-01-06 23:38:36 +0100
commit0aa3068e9e0e9697131907c4bd20aa6ca0759978 (patch)
tree6c97730660d7088cd5833530eaa25b288df9c023 /devscripts
parentdb2d6124b1a549b8e21bf17908f77aeefaeb627d (diff)
Do not check in test_coverage
Diffstat (limited to 'devscripts')
-rwxr-xr-xdevscripts/release.sh4
1 files changed, 1 insertions, 3 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh
index 2df18cd5d..233b60842 100755
--- a/devscripts/release.sh
+++ b/devscripts/release.sh
@@ -70,9 +70,7 @@ devscripts/gh-pages/add-version.py $version
devscripts/gh-pages/sign-versions.py < updates_key.pem
devscripts/gh-pages/generate-download.py
devscripts/gh-pages/update-copyright.py
-rm -r test_coverage
-mv cover test_coverage
-git add *.html *.html.in update test_coverage
+git add *.html *.html.in update
git commit -m "release $version"
git show HEAD
read -p "Is it good, can I push? (y/n) " -n 1