diff options
author | jandegr <jandegr@users.noreply.github.com> | 2016-11-29 08:02:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-29 08:02:42 +0100 |
commit | 70325f529961dbb1167ca1d63acec9926c656f25 (patch) | |
tree | 7af206c1bd5c7b8393b6f1a6b77dc86a8f8c3aac | |
parent | ca335b743ea3060ef19a0817f4223d9e70f048da (diff) | |
download | navit-70325f529961dbb1167ca1d63acec9926c656f25.tar.gz |
Update build_linux.shR6851
-rw-r--r-- | ci/build_linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 4f90d5d98..e3047b2dd 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -18,4 +18,4 @@ else cmake ../ -Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE -DSAMPLE_MAP=n|| exit -1 make || exit -1 fi -cp -r navit/xpm $CIRCLE_ARTIFACTS +# cp -r navit/xpm $CIRCLE_ARTIFACTS |