diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/extract.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/resources/extract.sh b/resources/extract.sh index 0e78505..e9cd62a 100755 --- a/resources/extract.sh +++ b/resources/extract.sh @@ -2,7 +2,7 @@ db_file=games_anon.db -chosen_players="AaaarghBot Tiltak_Bot" +chosen_players="AaaarghBot Tiltak_Bot Taktician" query() { query="(size == $1) and (result != '1-0') and (result != '0-1') and (result != '0-0') and (result != '1/2-1/2')" @@ -63,5 +63,5 @@ make pptdb for size in 5; do echo extract $size notation,result - process $size 400000 training + process $size 1000000 training done |