apache
diff --git a/‎dev-support/Jenkinsfile‎
Lines changed: 1 addition & 1 deletion b/‎dev-support/Jenkinsfile‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎dev-support/docker/Dockerfile_debian_11‎ renamed to ‎dev-support/docker/Dockerfile_debian_10‎ b/‎dev-support/docker/Dockerfile_debian_11‎ renamed to ‎dev-support/docker/Dockerfile_debian_10‎
@@ -162,7 +162,7 @@ pipeline {
             environment {
                 SOURCEDIR = "${WORKSPACE}/debian-11/src"
                 PATCHDIR = "${WORKSPACE}/debian-11/out"
-                DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_debian_11"
+                DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_debian_10"
                 IS_OPTIONAL = 1
             }
Original file line number	Diff line number	Diff line change
`@@ -162,7 +162,7 @@ pipeline {`
`162`	`162`	`environment {`
`163`	`163`	`SOURCEDIR = "${WORKSPACE}/debian-11/src"`
`164`	`164`	`PATCHDIR = "${WORKSPACE}/debian-11/out"`
`165`		`- DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_debian_11"`
	`165`	`+ DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_debian_10"`
`166`	`166`	`IS_OPTIONAL = 1`
`167`	`167`	`}`
`168`	`168`