Merge pull request #230313 from trofi/grub4dos-mark-broken

grub4dos: mark broken
This commit is contained in:
Sergei Trofimovich 2023-05-06 13:02:03 +01:00 committed by GitHub
commit a9d1d04e11
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -39,5 +39,8 @@ in stdenv.mkDerivation {
maintainers = with maintainers; [ abbradar ];
platforms = platforms.linux;
license = licenses.gpl2;
# Needs a port to modern binutils:
# https://github.com/chenall/grub4dos/issues/160
broken = true;
};
}