From ae4ec8d98a12a93c1ef7a25436eab29a9ede623f Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Sat, 13 Nov 2021 14:42:30 -0300
Subject: [PATCH] Re-enable Jenkins builds as the pipeline is mostly figured
 out

---
 .ci/build.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.ci/build.sh b/.ci/build.sh
index 621369d08..4808af571 100644
--- a/.ci/build.sh
+++ b/.ci/build.sh
@@ -507,8 +507,6 @@ then
 fi
 
 # Run builds according to the Jenkins job name.
-echo Temporarily disabled [$JOB_BASE_NAME]
-exit 0
 case $JOB_BASE_NAME in
 	$project | $project-TestBuildPleaseIgnore)
 		if is_windows