diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2017-10-29 16:35:33 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2017-10-29 16:35:33 -0700 |
| commit | 65e7bee993f06cf2f5dab00abe4ffdb18b082afb (patch) | |
| tree | 231008e9bfc7fee4d8b875db2cd890943c410d34 | |
| parent | 0c2ebc0ca009c6a41a21534d3404c17df1b679ad (diff) | |
| download | navit-65e7bee993f06cf2f5dab00abe4ffdb18b082afb.tar.gz | |
Dummy commit to trigger a buildcurl_download
| -rw-r--r-- | ci/run_linux_tests.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/run_linux_tests.sh b/ci/run_linux_tests.sh index 135c750bb..ab7840159 100644 --- a/ci/run_linux_tests.sh +++ b/ci/run_linux_tests.sh @@ -1,5 +1,4 @@ #!/bin/bash - set -e pushd ~/linux-bin/navit/ |