Disable set -e running the script
This commit is contained in:
parent
f109c9e0ce
commit
41460cb78d
|
@ -1,6 +1,6 @@
|
||||||
#!/usr/bin/env sh
|
#!/usr/bin/env sh
|
||||||
#set -o pipefail # bash extension
|
#set -o pipefail # bash extension
|
||||||
set -e
|
#set -e
|
||||||
|
|
||||||
if [ -z "${1}" ] ; then
|
if [ -z "${1}" ] ; then
|
||||||
echo "$0 <ELF_SRC_PATH> <PATH_TO_COPY_LIBRARIES>"
|
echo "$0 <ELF_SRC_PATH> <PATH_TO_COPY_LIBRARIES>"
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#!/usr/bin/env sh
|
#!/usr/bin/env sh
|
||||||
#set -o pipefail # bash extension
|
#set -o pipefail # bash extension
|
||||||
set -e
|
#set -e
|
||||||
|
|
||||||
# These vars will be modified automatically with sed
|
# These vars will be modified automatically with sed
|
||||||
compress_flag=-z
|
compress_flag=-z
|
||||||
|
@ -9,7 +9,7 @@ unpack() {
|
||||||
filename=$1
|
filename=$1
|
||||||
echo "#!/usr/bin/env sh" > $filename
|
echo "#!/usr/bin/env sh" > $filename
|
||||||
echo "#set -o pipefail # bash extension" >> $filename
|
echo "#set -o pipefail # bash extension" >> $filename
|
||||||
echo "set -e" >> $filename
|
echo "#set -e" >> $filename
|
||||||
echo "" >> $filename
|
echo "" >> $filename
|
||||||
echo "compress_flag=$compress_flag" >> $filename
|
echo "compress_flag=$compress_flag" >> $filename
|
||||||
echo "executable_run=$2" >> $filename
|
echo "executable_run=$2" >> $filename
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#!/usr/bin/env sh
|
#!/usr/bin/env sh
|
||||||
#set -o pipefail # bash extension
|
#set -o pipefail # bash extension
|
||||||
set -e
|
#set -e
|
||||||
|
|
||||||
# These vars will be modified automatically with sed
|
# These vars will be modified automatically with sed
|
||||||
compress_flag=-z
|
compress_flag=-z
|
||||||
|
@ -9,7 +9,7 @@ unpack() {
|
||||||
filename=$1
|
filename=$1
|
||||||
echo "#!/usr/bin/env sh" > $filename
|
echo "#!/usr/bin/env sh" > $filename
|
||||||
echo "#set -o pipefail # bash extension" >> $filename
|
echo "#set -o pipefail # bash extension" >> $filename
|
||||||
echo "set -e" >> $filename
|
echo "#set -e" >> $filename
|
||||||
echo "" >> $filename
|
echo "" >> $filename
|
||||||
echo "compress_flag=$compress_flag" >> $filename
|
echo "compress_flag=$compress_flag" >> $filename
|
||||||
echo "executable_run=$2" >> $filename
|
echo "executable_run=$2" >> $filename
|
||||||
|
|
Loading…
Reference in New Issue
Block a user