summaryrefslogtreecommitdiff
path: root/gen.sh
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2019-10-05 09:06:23 +0200
committerLars-Dominik Braun <lars@6xq.net>2019-10-05 09:06:23 +0200
commitf73b4688844d2aec6a92474d7ccb8aae793d14ad (patch)
tree89117e3e19e16e57579295bdbca25de0c4162908 /gen.sh
parent2d45ef655f8791037373ab83174fc6c3596227b0 (diff)
downloadlulua-f73b4688844d2aec6a92474d7ccb8aae793d14ad.tar.gz
lulua-f73b4688844d2aec6a92474d7ccb8aae793d14ad.tar.bz2
lulua-f73b4688844d2aec6a92474d7ccb8aae793d14ad.zip
optimize: Support wildcard pins
Diffstat (limited to 'gen.sh')
-rwxr-xr-xgen.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/gen.sh b/gen.sh
index 0d7a066..6e984c3 100755
--- a/gen.sh
+++ b/gen.sh
@@ -14,7 +14,7 @@ docdir=doc
wikiextractor=3rdparty/wikiextractor/WikiExtractor.py
optrounds=100000
# pin layers, keep hand-optimized numbers, keep top row free
-optpins=0;1;2;0,Bl1;0,Bl2;0,Bl3;0,Bl4;0,Bl5;0,Bl6;0,Bl7;0,Br6;0,Br5;0,Br4;0,Br3;0,Br2;0,Br1;3,Cl4;3,Cl3;3,Cl2;3,Cl1;3,Dl4;3,Dl3;3,Dl2;3,Dl1;3,El5;3,El4;3,El3;3,El2;3,Dl5;3,Cl5;3,El6
+optpins=0;1;2;0,B*;3,*
optmodel=mod01
### pools ###