| changeset 80158 | 059d5e115ae3 |
| parent 79515 | fa581264522e |
| child 81723 | b5d329f7fe95 |
--- a/src/Pure/System/linux.scala Fri Apr 26 20:14:27 2024 +0200 +++ b/src/Pure/System/linux.scala Fri Apr 26 20:18:15 2024 +0200 @@ -42,6 +42,7 @@ def is_ubuntu: Boolean = id == "Ubuntu" def is_ubuntu_20_04: Boolean = is_ubuntu && release == "20.04" def is_ubuntu_22_04: Boolean = is_ubuntu && release == "22.04" + def is_ubuntu_24_04: Boolean = is_ubuntu && release == "24.04" }