aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortslil clingman <tslil@posteo.de>2021-01-16 20:50:30 -0500
committertslil <tslil@posteo.de>2021-01-16 20:50:30 -0500
commitf3f20fe302313c580ab0c710770570273c0a196f (patch)
treed59cc7bb95278936b2a2ad68eccc1a7567de913a
parent542726efc9973449007851300d7c7f1b4c2b523a (diff)
Might as well use all of them...
-rwxr-xr-xextract.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/extract.sh b/extract.sh
index df547ea..9f12193 100755
--- a/extract.sh
+++ b/extract.sh
@@ -58,5 +58,5 @@ make pptdb
for size in 5; do
echo
extract $size notation,result
- process $size 200000 training
+ process $size 300000 training
done