Merge pull request #256818 from aaronjheng/txr

txr: unbreak
This commit is contained in:
Artturi 2023-09-23 10:48:14 +03:00 committed by GitHub
commit ec159b40a0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -69,6 +69,5 @@ stdenv.mkDerivation (finalAttrs: {
license = lib.licenses.bsd2;
maintainers = with lib.maintainers; [ AndersonTorres dtzWill ];
platforms = lib.platforms.all;
broken = stdenv.isDarwin && stdenv.isx86_64; # ofborg fails while testing
};
})