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_rockylinux_8‎ renamed to ‎dev-support/docker/Dockerfile_centos_8‎ b/‎dev-support/docker/Dockerfile_rockylinux_8‎ renamed to ‎dev-support/docker/Dockerfile_centos_8‎
@@ -116,7 +116,7 @@ pipeline {
             environment {
                 SOURCEDIR = "${WORKSPACE}/rockylinux-8/src"
                 PATCHDIR = "${WORKSPACE}/rockylinux-8/out"
-                DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_rockylinux_8"
+                DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_centos_8"
                 IS_OPTIONAL = 1
             }
Original file line number	Diff line number	Diff line change
`@@ -116,7 +116,7 @@ pipeline {`
`116`	`116`	`environment {`
`117`	`117`	`SOURCEDIR = "${WORKSPACE}/rockylinux-8/src"`
`118`	`118`	`PATCHDIR = "${WORKSPACE}/rockylinux-8/out"`
`119`		`- DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_rockylinux_8"`
	`119`	`+ DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile_centos_8"`
`120`	`120`	`IS_OPTIONAL = 1`
`121`	`121`	`}`
`122`	`122`