blob: 07d2b89bdd45c8325b9326688e918abbe211a251 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/bash
function main ()
{
set -x;
SCRIPTS_DIR=$(dirname $0);
echo "start: $(date +%T)";
#time $SCRIPTS_PATH/rpc-coverage.sh $THIS_TEST_DIR 2>>$LOG_FILE 1>>$LOG_FILE;
time $SCRIPTS_DIR/rpc-coverage.sh $THIS_TEST_DIR 2>>$LOG_FILE 1>>$LOG_FILE;
if [ $? -ne 0 ]; then
echo "end: $(date +%T)";
return 22;
else
echo "end: $(date +%T)";
return 0;
fi
}
main "$@"
|