| commit | 70a9c336a5586b64f9d4ee9f783adbc7c1c5f59e | [log] [tgz] |
|---|---|---|
| author | Marco Poletti <poletti.marco@gmail.com> | Mon Jun 12 07:24:44 2017 +0100 |
| committer | Marco Poletti <poletti.marco@gmail.com> | Mon Jun 12 07:24:44 2017 +0100 |
| tree | 67b4089bb99368e056ba0ecb5f8efa33e31e7962 | |
| parent | e00461ff8d174e7665540442a6ddb6e7f17bb82c [diff] |
Fix a bug in the postubmit script used to run CI tests.
diff --git a/extras/scripts/postsubmit-helper.sh b/extras/scripts/postsubmit-helper.sh index 4d4724e..1de8802 100755 --- a/extras/scripts/postsubmit-helper.sh +++ b/extras/scripts/postsubmit-helper.sh
@@ -129,7 +129,6 @@ # This is intentionally not run from the tests/ directory, we want to ignore the pytest.ini there. py.test-3 -n auto -r a - cd .. make install else # COMPILER=bazel