Cactus: restore echo to create make.checked files

Merged
#22 · Created  · Last updated

Merged pull request

Cactus: restore echo to create make.checked files

  • d526b01
  • Author:
  • Closed by:
  • 2016-03-27

Description

this works around issues on some file systems that only update the file modification date when something is actually written, so "true

make.checked" is not updating the modification date, causing make to not consider a thorn library changed.

0 attachments

Loading commits...