diff options
| author | szubersk <[email protected]> | 2022-05-07 00:53:42 +0000 |
|---|---|---|
| committer | Brian Behlendorf <[email protected]> | 2022-05-11 10:32:51 -0700 |
| commit | e0911f7b7f1ebd9aa00c198b87618b0308fe8c85 (patch) | |
| tree | b2e4cc53e2d86ec075d61ea6b0b5942087eeac62 /cmd/zdb | |
| parent | f567d67fdae5819ec25048a8b5d648fc14e6defe (diff) | |
autoconf: Fail when __copy_from_user_inatomic is a non-GPL symbol
A followup to 849c14e04844a2f0e1f7e42886c2cef083563f35
Fix https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1009242
Reviewed-by: Brian Behlendorf <[email protected]>
Signed-off-by: szubersk <[email protected]>
Closes #13389
Diffstat (limited to 'cmd/zdb')
0 files changed, 0 insertions, 0 deletions