diff --git a/Jenkinsfile b/Jenkinsfile
index 7f50479e209de67ad632d1f661bdd8124dd45556..2358cce9f1207399b0f67024fbea4da36d6ea5fb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -108,7 +108,6 @@ pipeline {
                   "-DBUILD_SHARED_LIBS=${build_shared} " +
                   '-DOGS_CPU_ARCHITECTURE=generic ' +
                   '-DOGS_BUILD_UTILS=ON ' +
-                  '-DOGS_BUILD_UTILS=ON ' +
                   '-DOGS_CONAN_BUILD=outdated ' +
                   '-DOGS_USE_CVODE=ON '
               }