From e4495be42238fcbd6711e0c145a2a8f4570e87ff Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Sun, 28 Nov 2021 14:07:15 -0300
Subject: [PATCH] Add stripping to currently-unused Dev Jenkins preset

---
 .ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index 240b72b09..55f1311d7 100644
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -75,7 +75,7 @@ def presetSlugs = [
 def presetFlags = [
 	'Regular': '-t --preset=regular',
 	'Debug': '--preset=debug',
-	'Dev': '--preset=experimental -D VNC=OFF'
+	'Dev': '-t --preset=experimental -D VNC=OFF'
 ]
 
 def anyFailure = false