From ae155d81b9b0282e1fe2fdfc18f3bfa3ec6a5074 Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Wed, 3 Aug 2011 01:16:03 +0200
Subject: Update gnulib files.  Fix syntax-check usage.

---
 tests/scripts/common.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/scripts')

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}
-- 
cgit v1.2.1