Page MenuHomeFreeBSD

D15611.id43121.diff
No OneTemporary

D15611.id43121.diff

Index: head/sys/conf/makeLINT.mk
===================================================================
--- head/sys/conf/makeLINT.mk
+++ head/sys/conf/makeLINT.mk
@@ -55,4 +55,8 @@
cat ${.TARGET} > ${.TARGET}64
echo "machine ${TARGET} powerpc" >> ${.TARGET}
echo "machine ${TARGET} powerpc64" >> ${.TARGET}64
+# mlx5 needs 64-bit atomics, so exclude from 32-bit PPC
+ echo "nodevice mlx5" >> ${.TARGET}
+ echo "nodevice mlx5en" >> ${.TARGET}
+ echo "nodevice mlx5ib" >> ${.TARGET}
.endif

File Metadata

Mime Type
text/plain
Expires
Fri, Mar 7, 4:32 AM (10 h, 20 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
17025152
Default Alt Text
D15611.id43121.diff (493 B)

Event Timeline