--- Gnu-Mach/kern/machine.c	2020/09/02 04:36:57	1.1
+++ Gnu-Mach/kern/machine.c	2020/09/02 04:42:45	1.1.1.2
@@ -730,7 +730,7 @@ boolean_t	wait;
 {
 #ifdef	lint
 	processor++; new_pset++; wait++;
-#endif	lint
+#endif	/* lint */
 	return(KERN_FAILURE);
 }