diff options
author | Philipp Hagemeister <phihag@phihag.de> | 2014-02-22 15:06:07 +0100 |
---|---|---|
committer | Philipp Hagemeister <phihag@phihag.de> | 2014-02-22 15:06:07 +0100 |
commit | 0f8f097183a149144eb3c3c9b4e598c0842edd7e (patch) | |
tree | 5b41bc29140f0b2596a21e5e9d0b8d900d9990fa /devscripts/release.sh | |
parent | 491ed3dda2435992ae27dcefae22d3416d9aff12 (diff) |
[release.sh] Do not run tests by default
We are at the point that testing takes waay too long for a release cycle, and fails way too often.
Tests through travis are a better indicator than testing just before release.
Diffstat (limited to 'devscripts/release.sh')
-rwxr-xr-x | devscripts/release.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index 323acf8cf..72e708c7f 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -14,9 +14,9 @@ set -e -skip_tests=false -if [ "$1" = '--skip-test' ]; then - skip_tests=true +skip_tests=true +if [ "$1" = '--run-tests' ]; then + skip_tests=false shift fi |