diff options
| author | Dimitris Mantzouranis <d3xter93@gmail.com> | 2022-01-15 00:56:43 +0200 |
|---|---|---|
| committer | Dimitris Mantzouranis <d3xter93@gmail.com> | 2022-01-15 00:56:43 +0200 |
| commit | b96252da06fa079752695f97622075a8424fa5c0 (patch) | |
| tree | 63529ddd61c5af0f1cb564206a89ccad418d1da4 /lib/python | |
| parent | d9a659c07049e99b54f8d577ab5081c13855a93c (diff) | |
CI: fine tune the weird stuff
Diffstat (limited to 'lib/python')
| -rwxr-xr-x | lib/python/build_all.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/lib/python/build_all.py b/lib/python/build_all.py index 0753a60f3..87ab2db20 100755 --- a/lib/python/build_all.py +++ b/lib/python/build_all.py @@ -1,12 +1,21 @@ import subprocess import os import sys +import re BOARDS = [] def main(): for line in sys.stdin: if line.strip() != "": - BOARDS.append(line.strip()) + if re.match("^(gmmk)",line.strip()): + BOARDS.append(line.strip()+"/rev2") + BOARDS.append(line.strip()+"/rev3") + if re.match("^(keychron/k)",line.strip()): + BOARDS.append(line.strip()) + BOARDS.append(line.strip()+"/via") + BOARDS.append(line.strip()+"/optical") + BOARDS.append(line.strip()+"/optical_via") + else: BOARDS.append(line.strip()) if __name__ == '__main__': main() |