synth: Introduce -extra-map
for amending techmap
#3081
Job | Run time |
---|---|
10m 35s | |
10m 11s | |
10m 45s | |
11m 21s | |
22m 55s | |
9m 43s | |
10m 28s | |
10m 27s | |
10m 15s | |
8m 41s | |
1h 55m 21s |
-extra-map
for amending techmap
#3081
Job | Run time |
---|---|
10m 35s | |
10m 11s | |
10m 45s | |
11m 21s | |
22m 55s | |
9m 43s | |
10m 28s | |
10m 27s | |
10m 15s | |
8m 41s | |
1h 55m 21s |