diff options
author | Joseph Herlant <aerostitch@users.noreply.github.com> | 2019-11-01 18:11:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-01 18:11:08 -0700 |
commit | f334e21516af6c1cb0b96d0d341d262586c33b9b (patch) | |
tree | 04d0792dd0c26770f8eb10b38dfea3b5c07e8543 /.gitignore | |
parent | 0a9c9c410381c80703f6faabfbdc7142497cbb46 (diff) | |
download | navit-f334e21516af6c1cb0b96d0d341d262586c33b9b.tar.gz |
Move checkstyle into the sanity_check phase and use a pre-baked image for running it (#936)
* Move checkstyle into the sanity_check phase
* add missing dependency
* Switch to the pre-cooked image to avoid installing on every builds
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f24de854c..698c9f5e6 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ /CMakeLists.txt.user* /navit/android/cmake_plugin_settings.txt /nbproject/ +navit/android/checkstyle |