home

commit 7d097137283f9475df9e53f0b836f42511ac4d04
parent 85bb40ed5f61e30ebb4227c1480f1a89a8a5ab8d
Author: Vincent Demeester <vincent@sbr.pm>
Date:   Mon, 20 Feb 2023 09:40:19 +0100

systems/aomi: build 1.10 as well

Signed-off-by: Vincent Demeester <vincent@sbr.pm>

Diffstat:
M
systems/hosts/aomi.nix
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/systems/hosts/aomi.nix b/systems/hosts/aomi.nix
@@ -201,7 +201,7 @@ in
       git rebase upstream/main
       # Make versions
       make versions
-      for v in 1.7 1.8 1.9; do
+      for v in 1.7 1.8 1.9 1.10; do
         echo "Build $v"
         (
         cd versions/$v