diff options
| -rwxr-xr-x | repos/Make-fedora-repo.sh | 4 | ||||
| -rwxr-xr-x | run-all.sh | 7 |
2 files changed, 6 insertions, 5 deletions
diff --git a/repos/Make-fedora-repo.sh b/repos/Make-fedora-repo.sh index 6f46116..6dbfc71 100755 --- a/repos/Make-fedora-repo.sh +++ b/repos/Make-fedora-repo.sh @@ -56,8 +56,8 @@ EOF ################################################################################ -rels="30" -archs="aarch64 armhfp i386 x86_64" +rels="31" +archs="aarch64 armhfp x86_64" for rel in $rels; do if test "$rel" = "$reldev"; then devel=1; else devel=0; fi @@ -1,7 +1,7 @@ #!/bin/sh BASE="$(dirname $0)" -FVER="30" +FVER="31" case "$(hostname --short)" in arm-b32 | cubietruck) @@ -21,11 +21,12 @@ sirius) ./Fedora-efi-grub2.sh $FVER || exit 1 ./Fedora-efi-systemd.sh $FVER || exit 1 # linux32 ./Fedora-efi-grub2.sh $FVER || exit 1 - linux32 ./Fedora-efi-systemd.sh $FVER || exit 1 + linux32 ./Fedora-efi-systemd.sh 30 || exit 1 - ./RHEL7-efi.sh 7.5 || exit 1 ./RHEL7-efi.sh 7.6 || exit 1 + ./RHEL7-efi.sh 7.7 || exit 1 ./RHEL8-efi.sh 8.0 || exit 1 + ./RHEL8-efi.sh 8.1 || exit 1 ./CentOS7-efi.sh || exit 1 ;; *) |