HomeIsabelle/Phabricator

The realpath call on some old systems does not accept NULL for the second…

Description

The realpath call on some old systems does not accept NULL for the second argument. Work round this by trying again
if the call fails with EINVAL. This should fix #171 but hasn't been tested.

Details

Provenance
dcjmAuthored on Feb 24 2022, 6:10 PM
Parents
rPOLYML3252ae8fbea5: Merge branch 'ARM64Development'
Branches
Unknown
Tags
Unknown