diff options
| author | Philipp Hagemeister <phihag@phihag.de> | 2013-01-06 23:38:36 +0100 |
|---|---|---|
| committer | Philipp Hagemeister <phihag@phihag.de> | 2013-01-06 23:38:36 +0100 |
| commit | 0aa3068e9e0e9697131907c4bd20aa6ca0759978 (patch) | |
| tree | 6c97730660d7088cd5833530eaa25b288df9c023 /devscripts/release.sh | |
| parent | db2d6124b1a549b8e21bf17908f77aeefaeb627d (diff) | |
Do not check in test_coverage
Diffstat (limited to 'devscripts/release.sh')
| -rwxr-xr-x | devscripts/release.sh | 4 |
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 |