Module Name: src
Committed By: rillig
Date: Sun Nov 8 09:15:19 UTC 2020
Modified Files:
src/usr.bin/make: arch.c dir.c nonints.h
Log Message:
make(1): change return type of Arch_MTime to void
This makes it easier to prove that Dir_MTime always returns gn->mtime,
without looking at the implementation of Arch_UpdateMTime.
To generate a diff of this commit:
cvs rdiff -u -r1.173 -r1.174 src/usr.bin/make/arch.c
cvs rdiff -u -r1.199 -r1.200 src/usr.bin/make/dir.c
cvs rdiff -u -r1.157 -r1.158 src/usr.bin/make/nonints.h
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
