diff --git a/tools/copy-common-files.sh b/tools/copy-common-files.sh index c4e481014..83da91b91 100644 --- a/tools/copy-common-files.sh +++ b/tools/copy-common-files.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/import-crowdin.sh b/tools/import-crowdin.sh index 1605187b7..808eb7e78 100755 --- a/tools/import-crowdin.sh +++ b/tools/import-crowdin.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-assets.sh b/tools/make-assets.sh index 63c190930..1c1188abf 100755 --- a/tools/make-assets.sh +++ b/tools/make-assets.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-browser.sh b/tools/make-browser.sh index 52911a95b..3df4fdf67 100755 --- a/tools/make-browser.sh +++ b/tools/make-browser.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-chromium.sh b/tools/make-chromium.sh index 32a82e162..047146026 100755 --- a/tools/make-chromium.sh +++ b/tools/make-chromium.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-clean.sh b/tools/make-clean.sh index a0a70b86e..6dc60fe2e 100755 --- a/tools/make-clean.sh +++ b/tools/make-clean.sh @@ -1,7 +1,7 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment echo "*** uBlock: Cleaning." -rm -Rf dist/build +rm -R dist/build echo "*** uBlock: Cleaned." diff --git a/tools/make-firefox.sh b/tools/make-firefox.sh index 679d30558..b50eae886 100755 --- a/tools/make-firefox.sh +++ b/tools/make-firefox.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-nodejs.sh b/tools/make-nodejs.sh index 9bbce84f2..88778adad 100755 --- a/tools/make-nodejs.sh +++ b/tools/make-nodejs.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-opera.sh b/tools/make-opera.sh index dae0f81cb..0e95e1a41 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/make-thunderbird.sh b/tools/make-thunderbird.sh index 0cf3cc462..590a2bce9 100755 --- a/tools/make-thunderbird.sh +++ b/tools/make-thunderbird.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment diff --git a/tools/update-submodules.sh b/tools/update-submodules.sh index ee3aed9f2..3391f21ab 100755 --- a/tools/update-submodules.sh +++ b/tools/update-submodules.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash -e +#!/usr/bin/env bash # # This script assumes a linux environment