Commit 74d70dec authored by Jonah Brüchert's avatar Jonah Brüchert 🌳 Committed by Michael Pyne

session-env: Set correct libname on Debian systems.

Contributed by Jonah Brüchert.

Debian and its derivatives use paths like /usr/lib/$abi-triple, and
these /don't/ seem to also exist on non-Debian distros. So assume that
if a GNU ABI triple path is present that it should be used.

Differential Revision:
parent b7f93bfe
Pipeline #3088 passed with stage
in 1 minute and 4 seconds