From d075dcd6dae7e9c39d85cfa31decbac09add9b6e Mon Sep 17 00:00:00 2001
From: Fabian Egli <fabian.egli@biol.ethz.ch>
Date: Thu, 31 Oct 2019 10:23:44 +0100
Subject: [PATCH] de: Opt for GNU sed (gsed) instead of BSD sed compatibility
 in sedi

---
 Makefile.gen | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.gen b/Makefile.gen
index 7bd527b5..be8dc4ba 100644
--- a/Makefile.gen
+++ b/Makefile.gen
@@ -41,9 +41,9 @@ SRC=confirmation.html\
 all: $(foreach l,$(LANG),$(foreach f,$(SRC),$l/$f))
 
 
-## Function to make this work with Gnu and BSD sed
+## Function to select gsed if sed is not GNU sed but BSD sed
 define sedi
-    sed --version >/dev/null 2>&1 && sed -i || sed -i ""
+    sed --version >/dev/null 2>&1 && sed -i || gsed -i
 endef
 
 
-- 
2.25.1