From a583bb24fb23728c9c4ed6c6c573d526ab654c49 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= Date: Mon, 4 Jul 2011 06:33:44 +0200 Subject: test.sh: use cmp instead of diff --- test.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/test.sh b/test.sh index 2c184c7..c4fbb5e 100755 --- a/test.sh +++ b/test.sh @@ -35,19 +35,19 @@ dist (){ ${BIN} -x ${ARGS2} ${ARGSS} ${KEY} > DEC & PID=$! sleep 2 - cat ${FILE} | ${BIN} ${ARGS1} ${ARGSD} ${KEY} || ( echo "error !!"; exit 1 ) + cat ${FILE} | ${BIN} ${ARGS1} ${ARGSD} ${KEY} || ( echo "error !!"; kill ${PID} exit 1 ) wait ${PID} } local -echo "running diff" -diff ${FILE} DEC || echo "ERROR" +echo "running cmp" +cmp ${FILE} DEC || echo "ERROR" echo "OK." rm DEC dist -echo "running diff" -diff ${FILE} DEC || echo "ERROR" +echo "running cmp" +cmp ${FILE} DEC || echo "ERROR" echo "OK." rm DEC ${FILE} -- cgit v1.1-2-g2b99