Commit 1afe0bfa authored by Michael Hanus 's avatar Michael Hanus

Make configure-prolog script robust against `readlink` errors

parent c4cd147c
Pipeline #1607 passed with stages
in 217 minutes and 4 seconds