de: Opt for GNU sed (gsed) instead of BSD sed compatibility in sedi
authorFabian Egli <fabian.egli@biol.ethz.ch>
Thu, 31 Oct 2019 09:23:44 +0000 (10:23 +0100)
committerFabian Egli <fabian.egli@biol.ethz.ch>
Thu, 31 Oct 2019 09:23:44 +0000 (10:23 +0100)
Makefile.gen

index 7bd527b582efc3da1277621155e895301b6b64a5..be8dc4ba5a9bfad56d5e27a247c4d8a253969b15 100644 (file)
@@ -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