+ ../include/net/pppio.h ../include/net/vjcompress.h $(INCLNETDIR)
+#
+# The following assumes that OS version is at least 4.0
+#
+ @( cd /usr/sys/conf; \
+ ../bin/sourceconfig BINARY; \
+ cd /usr/sys/BINARY ; \
+ make $(KOBJ); \
+ make MODULE_ppp; \
+ cp /usr/sys/BINARY/ppp.mod /sys/BINARY/ppp.mod; \
+ echo ;\
+ echo 'Please modify lockinfo.c and run doconfig to build kernel now.' )