blob: a9d6dd852cbca4ec9fcbd619547300539ab25951 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash -ux
cd bikjmp
/usr/bin/time -o test_timer$1 ./bikjmp$1 < fen.txt >logbikjmp$1
state=$?
if [ $state -eq 0 ];then
cat test_timer$1 | grep "user" | cut -d "u" -f 1
else
echo "error"
fi
return $state
|