diff options
-rw-r--r-- | index.html | 2 | ||||
-rw-r--r-- | wizard/index.php | 3 |
2 files changed, 4 insertions, 1 deletions
@@ -55,7 +55,7 @@ But maintaining this web site also have a cost.</p> <p class="msg"> --> - <h2>Next year <strong>Web hosting</strong> budget, until July 2023: + <h2>Next year <strong>Web hosting</strong> budget, until August 2023: <progress max="500" value="500">100%</progress> <strong>100% of 500€</strong> <!-- <progress max="500" value="493">98%</progress> <strong>98% of 500€</strong> diff --git a/wizard/index.php b/wizard/index.php index 9d0687d9..ac831dfd 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -239,6 +239,9 @@ if ($arch=='aarch64') { } else if ($os && $ver < 9) { printf("<li><b>aarch64</b> for Enterprise Linux $ver is not planed for now</li><br />"); $err =true; + } else if ($type === 'scl') { + printf("<li>Software Collections for <b>aarch64</b> are not planed for now</li><br />"); + $err =true; } } |