Use "set -e" instead of "#!/bin/sh -e"

This permits to always set "-e", event if executed with an explicit
shell (for instance, "/bin/sh cover_to_html.sh").
This commit is contained in:
Jean-Sébastien Pédron 2012-12-12 11:36:33 +01:00
parent 608d7f7559
commit cb3de9a16c
2 changed files with 6 additions and 2 deletions

View File

@ -1,4 +1,4 @@
#!/bin/sh -e
#!/bin/sh
#-
# Copyright (c) 2012 Yakaz
# All rights reserved.
@ -24,6 +24,8 @@
# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
# SUCH DAMAGE.
set -e
dir=@srcdir@/data/benchmark
count=500

View File

@ -1,4 +1,4 @@
#!/bin/sh -e
#!/bin/sh
#-
# Copyright (c) 2012 Yakaz
# All rights reserved.
@ -24,6 +24,8 @@
# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
# SUCH DAMAGE.
set -e
if [ -z "$1" ]; then
echo "Syntax: $0 <test_name> [<test_name> ...]"
exit 1