From: Jean-Paul Pelteret <jppelteret@gmail.com>
Date: Tue, 27 Dec 2022 21:51:53 +0000 (+0100)
Subject: Add ADOL-C back into serial Jenkins build
X-Git-Tag: v9.5.0-rc1~703^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14617%2Fhead;p=dealii.git

Add ADOL-C back into serial Jenkins build
---

diff --git a/contrib/ci/Jenkinsfile.serial b/contrib/ci/Jenkinsfile.serial
index 5e026d1cab..810e626cd4 100644
--- a/contrib/ci/Jenkinsfile.serial
+++ b/contrib/ci/Jenkinsfile.serial
@@ -104,7 +104,6 @@ pipeline
                     -D DEAL_II_CXX_FLAGS_DEBUG='-Og' \
                     -D DEAL_II_EARLY_DEPRECATIONS=ON \
                     -D CMAKE_BUILD_TYPE=Debug \
-                    -D DEAL_II_WITH_ADOLC=OFF \
                     -D DEAL_II_WITH_MPI=OFF \
                     -D DEAL_II_UNITY_BUILD=ON \
                     $WORKSPACE/