tree 26174d1fc26fd1f2fd9df6a4d99b4175e8ab4ec4
parent d77a8100a3f0bdb6ea8a0984e2acbf8b155ba891
author Tobias Schlüter <tobi@schlueters.de> 1612090222 +0900
committer Tobias Schlüter <Ruediger.Knippel@googlemail.com> 1613127413 +0900

Group specializations into groups of four

Genrerate the specialization files by grouping the specializations into
five groups, cutting build time by three minutes (roughly 20%) in my
tests.

Change-Id: Ifd6a4523a47346c5e84c1cda15b7abba60d8e953