projects
/
enc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c053b6a
)
de: Opt for GNU sed (gsed) instead of BSD sed compatibility in sedi
author
Fabian Egli
<fabian.egli@biol.ethz.ch>
Thu, 31 Oct 2019 09:23:44 +0000
(10:23 +0100)
committer
Fabian Egli
<fabian.egli@biol.ethz.ch>
Thu, 31 Oct 2019 09:23:44 +0000
(10:23 +0100)
Makefile.gen
patch
|
blob
|
blame
|
history
diff --git
a/Makefile.gen
b/Makefile.gen
index 7bd527b582efc3da1277621155e895301b6b64a5..be8dc4ba5a9bfad56d5e27a247c4d8a253969b15 100644
(file)
--- 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