check_headers.sh
资源名称:gateway-1.2.1 [点击查看]
上传用户:gzpyjq
上传日期:2013-01-31
资源大小:1852k
文件大小:0k
源码类别:
手机WAP编程
开发平台:
WINDOWS
- #!/bin/sh
- #
- # Use `test/test_headers'to test gw/wsp_headers.c
- set -e
- loglevel=1
- test/test_headers -v $loglevel > check_headers.log 2>&1
- ret=$?
- if [ "$ret" != 0 ] ||
- grep ERROR: check_headers.log > /dev/null
- then
- echo check_headers failed 1>&2
- echo See check_headers.log or run test/test_headers for info 1>&2
- exit 1
- fi
- rm check_headers.log