Merge pull request #284908 from chuangzhu/gnuradio-disabled

gnuradio: fix disabledForGRafter deprecation message
This commit is contained in:
Doron Behar 2024-01-30 08:16:22 +02:00 committed by GitHub
commit b5293afa85
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15,7 +15,7 @@ else
if builtins.hasAttr "disabledForGRafter" args then
throw ''
`disabledForGRafter` is superseded by `disabled`.
Use `disabled = gnuradioAtLeast "${unwrapped.versionAttr.major}";` instead.
Use `disabled = gnuradioAtLeast "${args.disabledForGRafter}";` instead.
''
else