Skip to content
Snippets Groups Projects
Commit dc80cbc0 authored by Lars Bilke's avatar Lars Bilke
Browse files

[Jenkins] Removed duplicated cmake option.

parent 922b2bce
No related branches found
No related tags found
No related merge requests found
...@@ -108,7 +108,6 @@ pipeline { ...@@ -108,7 +108,6 @@ pipeline {
"-DBUILD_SHARED_LIBS=${build_shared} " + "-DBUILD_SHARED_LIBS=${build_shared} " +
'-DOGS_CPU_ARCHITECTURE=generic ' + '-DOGS_CPU_ARCHITECTURE=generic ' +
'-DOGS_BUILD_UTILS=ON ' + '-DOGS_BUILD_UTILS=ON ' +
'-DOGS_BUILD_UTILS=ON ' +
'-DOGS_CONAN_BUILD=outdated ' + '-DOGS_CONAN_BUILD=outdated ' +
'-DOGS_USE_CVODE=ON ' '-DOGS_USE_CVODE=ON '
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment