From fc522041d4a7fc0f5ddf00d725e38ba49b2051cd Mon Sep 17 00:00:00 2001
From: Segey Lapin <slapin@ossfans.org>
Date: Fri, 19 Jul 2019 20:21:24 +0300
Subject: [PATCH] Proper sed options

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 9fa82ca..acc7284 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -84,7 +84,7 @@ node('docker && ubuntu-16.04') {
 			cd proto1
 			ls -l
 			cp project.godot project.godot.backup
-			sed -e 's/GLES3/GLES2/g' -f -i project.godot
+			sed -e 's/GLES3/GLES2/g' -i project.godot
 			cat project.godot
 			${base}/godot-templates/godot_server.x11.tools.64 --export "HTML5" ${base}/proto1-html/index.html
 			cp project.godot.backup project.godot