HomeIsabelle/Phabricator
Diffusion Poly/ML c3a630fcc6a6

Remove ifdef test on HAVE_GETRUSAGE. This is no longer set by configure and…
c3a630fcc6a6Unpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Remove ifdef test on HAVE_GETRUSAGE. This is no longer set by configure and other places assume getruage anyway.

Details

Provenance
dcjmAuthored on Feb 20 2019, 9:33 AM
Parents
rPOLYMLd6ac224c0c6d: Set version numbers to 5.8 in preparation for release.
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
libpolyml/

rPOLYMLc3a630fcc6a6

View Options

libpolyml/statistics.cpp

Loading...