--- Gnu-Mach/linux/src/drivers/net/pci-scan.c	2020/09/02 04:46:40	1.1.1.1
+++ Gnu-Mach/linux/src/drivers/net/pci-scan.c	2020/09/02 04:51:19	1.1.1.2
@@ -31,7 +31,7 @@ static int min_pci_latency = 32;
 #if ! defined(__KERNEL__)
 #define __KERNEL__ 1
 #endif
-#if !defined(__OPTIMIZE__)
+#if !defined(__OPTIMIZE__) && /* Mach glue, we think this is ok now: */ 0
 #warning  You must compile this file with the correct options!
 #warning  See the last lines of the source file.
 #error You must compile this driver with the proper options, including "-O".