From 01b077e59cbaf934c17bbb310e96cc5e0025f115 Mon Sep 17 00:00:00 2001
From: Daniel Huigens <d.huigens@protonmail.com>
Date: Thu, 12 Sep 2019 14:20:13 +0200
Subject: [PATCH] Don't use sed to edit gitignore in release.sh

sed -i is not cross-platform.
---
 .gitignore | 3 ---
 release.sh | 4 +---
 2 files changed, 1 insertion(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index 82078778..737dad19 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,12 +1,9 @@
-build/
 .DS_Store
 node_modules/
 npm*
 src/compression/
 test/lib/
 dist/
-dist/*.tgz
-dist/*_debug.js
 openpgp.store/
 doc/
 browserify-cache*.json
diff --git a/release.sh b/release.sh
index 4bd51231..4786e3fb 100755
--- a/release.sh
+++ b/release.sh
@@ -24,10 +24,8 @@ npm run build
 grunt test
 
 # Add build files to git
-sed -i "" '/^dist\/$/d' .gitignore
-git add dist/ bower.json npm-shrinkwrap.json package.json
+git add --force dist/ bower.json npm-shrinkwrap.json package.json
 git commit -m "Release new version"
-git checkout .gitignore
 git tag v$1
 git push
 git push --tag