remove Formaline temporary files

Merged
#25 · Created  · Last updated

Merged pull request

Formaline: mark tarballs as INTERMEDIATE rather than PRECIOUS

ff8e96f·Author: ·Closed by: ·2020-01-13

Description

  • Formaline: remove temporary source files once no longer needed

    this removes most of the source files holding the tarball data once no longer needed, reducing the Cactus tree size

  • Formaline: mark non-atomically created files SECONDARY

    PRECIOUS would keep the files even if they were only half-written

  • Formaline: mark tarballs as INTERMEDIATE rather than PRECIOUS

    as long as the .o files which are SECONDARY are retained, the tarballs are not needed

 

0 attachments

0 comments

Loading commits...