diff options
| author | Simon Josefsson <simon@josefsson.org> | 2011-08-03 01:16:03 +0200 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2011-08-03 01:54:47 +0200 |
| commit | ae155d81b9b0282e1fe2fdfc18f3bfa3ec6a5074 (patch) | |
| tree | e66003dc5af9746fbe3b652414362cc704bc6de8 /tests/scripts | |
| parent | 5ca16d756ababb14e31d09ac4f1c1514de2ff5b9 (diff) | |
| download | gnutls-ae155d81b9b0282e1fe2fdfc18f3bfa3ec6a5074.tar.gz | |
Update gnulib files. Fix syntax-check usage.
Diffstat (limited to 'tests/scripts')
| -rw-r--r-- | tests/scripts/common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/scripts/common.sh b/tests/scripts/common.sh index dd616f361c..b621d15e41 100644 --- a/tests/scripts/common.sh +++ b/tests/scripts/common.sh @@ -34,7 +34,7 @@ launch_server() { trap "[ ! -z \"${LOCALPID}\" ] && kill ${LOCALPID};" 15 wait "${LOCALPID}" LOCALRET="$?" - if [ "${LOCALRET}" != "0" -a "${LOCALRET}" != "143" ] ; then + if [ "${LOCALRET}" != "0" ] && [ "${LOCALRET}" != "143" ] ; then # Houston, we'v got a problem... echo "Failed to launch a gnutls-serv server !" kill -10 ${PARENT} @@ -49,7 +49,7 @@ launch_bare_server() { trap "[ ! -z \"${LOCALPID}\" ] && kill ${LOCALPID};" 15 wait "${LOCALPID}" LOCALRET="$?" - if [ "${LOCALRET}" != "0" -a "${LOCALRET}" != "143" ] ; then + if [ "${LOCALRET}" != "0" ] && [ "${LOCALRET}" != "143" ] ; then # Houston, we'v got a problem... echo "Failed to launch server !" kill -10 ${PARENT} |