From a7fba695081ca6d4e081e6de93ec0abe5f82dc8e Mon Sep 17 00:00:00 2001
From: Alessio Coser <alessio.coser@xpeppers.com>
Date: Wed, 29 Jan 2020 14:19:29 +0100
Subject: [PATCH] fixes publish script

---
 scripts/publish.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/publish.sh b/scripts/publish.sh
index 5ae5463..0e39d6b 100755
--- a/scripts/publish.sh
+++ b/scripts/publish.sh
@@ -1,8 +1,8 @@
 #!/usr/bin/env sh
 TAG=$1
 
-sed -ie "s|'com.github.DaikonWeb:daikon:.*'|'com.github.DaikonWeb:daikon:${TAG}'|g" README.md
-sed -ie "s|<version>.*</version>|<version>${TAG}</version>|g" README.md
+sed -i -e "s|'com.github.DaikonWeb:daikon:.*'|'com.github.DaikonWeb:daikon:${TAG}'|g" README.md
+sed -i -e "s|<version>.*</version>|<version>${TAG}</version>|g" README.md
 
 git commit -am "Release ${TAG}"
 git tag $TAG