[M3commit] [modula3/cm3] 13dfdc: Remake PKGS if it is older than pkginfo.txt.
noreply at github.com
Sat Jan 2 13:53:57 CET 2016
Author: Jay Krell <jay.krell at cornell.edu>
Date: 2016-01-02 (Sat, 02 Jan 2016)
Remake PKGS if it is older than pkginfo.txt.
Ideally this would be some sort of hash check, but that requires
udpating all the readers (i.e. the Bourne shell scripts and maybe cmd).
More information about the M3commit