diff options
author | Pierre Grandin <grandinp@gmail.com> | 2017-08-30 15:41:31 -0700 |
---|---|---|
committer | Pierre Grandin <grandinp@gmail.com> | 2017-08-30 15:41:31 -0700 |
commit | 4b4c355e7435f427c305c67d51ac65852e6e0873 (patch) | |
tree | 8529d18a1e6c0332f85cbf40b4ac2b2e2fe5b232 | |
parent | fee307a21a77ca4c384cc3ec244c306f2afac76c (diff) | |
download | navit-4b4c355e7435f427c305c67d51ac65852e6e0873.tar.gz |
Removed superfluous popd
-rw-r--r-- | ci/build_tomtom_plugin.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ci/build_tomtom_plugin.sh b/ci/build_tomtom_plugin.sh index f55a3d002..2612bf4b9 100644 --- a/ci/build_tomtom_plugin.sh +++ b/ci/build_tomtom_plugin.sh @@ -61,8 +61,6 @@ cmake ../ -DCMAKE_INSTALL_PREFIX=$PREFIX -DFREETYPE_INCLUDE_DIRS=$PREFIX/include -DDISABLE_QT=ON -DSAMPLE_MAP=n -DBUILD_MAPTOOL=n make -j$JOBS make install -popd - # creating directories OUT_PATH="/tmp/tomtom/sdcard" |