Module Name: src Committed By: rillig Date: Sun Nov 8 01:16:04 UTC 2020
Modified Files: src/usr.bin/make: job.c job.h Log Message: make(1): remove unused JOB_IGNDOTS It had been used in 1993 at least, don't know when it was finally removed. To generate a diff of this commit: cvs rdiff -u -r1.313 -r1.314 src/usr.bin/make/job.c cvs rdiff -u -r1.60 -r1.61 src/usr.bin/make/job.h Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.