Release: only delete core file if it exists

browsh-org · Jul 19, 2018 · 26416e2 · 26416e2
1 parent 949273a
commit 26416e2
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/interfacer/src/browsh/version.go b/interfacer/src/browsh/version.go
@@ -1,3 +1,3 @@
 package browsh
 
-var browshVersion = "1.4.4"
+var browshVersion = "1.4.5"
diff --git a/webext/contrib/bundle_webextension.sh b/webext/contrib/bundle_webextension.sh
@@ -13,7 +13,11 @@ NODE_BIN=$PROJECT_ROOT/webext/node_modules/.bin
 destination=$PROJECT_ROOT/interfacer/src/browsh/webextension.go
 
 cd $PROJECT_ROOT/webext && $NODE_BIN/webpack
-cd $PROJECT_ROOT/webext/dist && rm *.map && rm core
+cd $PROJECT_ROOT/webext/dist && rm *.map
+if [ -f core ] ; then
+  # Is this a core dump for some failed process?
+  rm core
+fi
 ls -alh .
 $NODE_BIN/web-ext build --overwrite-dest
 ls -alh web-ext-artifacts