From: Alex Buell
Nah, I tried that and it resulted in the following:
w32api/include/ddk/winddk.h:4958:1: this is the location of
the previous definition make[1]: ***
Yes, sorry, you have to make the same change ("|" -> "+") in
w32api/include/ddk/winddk.h at line 4958.
GvG