diff options
Diffstat (limited to 'ci/travis.sh')
| -rw-r--r-- | ci/travis.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/travis.sh b/ci/travis.sh index c1472e0..928c108 100644 --- a/ci/travis.sh +++ b/ci/travis.sh @@ -44,7 +44,6 @@ cmake3 -DCMAKE_CXX_FLAGS=$CXX_FLAGS \ -DCMAKE_BUILD_TYPE=$BUILD_TYPE \ -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ -DENABLE_DEVEL=$ENABLE_DEVEL_SWITCH \ - -DBUILD_STATIC_LIB=$BUILD_STATIC_LIB \ .. make |