1 files changed, 15 insertions, 0 deletions
diff --git a/bestflags/bikjmp/test_bikjmp b/bestflags/bikjmp/test_bikjmp
new file mode 100755
index 00000000..a9d6dd85
--- /dev/null
+++ b/bestflags/bikjmp/test_bikjmp
@@ -0,0 +1,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
+\ No newline at end of file