commit | 5612201902f4540a939de42a79b350e132e90ed2 | [log] [tgz] |
---|---|---|
author | Jon Chesterfield <jonathanchesterfield@gmail.com> | Wed Sep 01 20:43:14 2021 +0100 |
committer | Copybara-Service <copybara-worker@google.com> | Wed Sep 01 12:45:57 2021 -0700 |
tree | 6f165a9f0a72cd5faf3863f1ce8ef154523399b2 | |
parent | 2f46ad03ffae00c8f82903aab4ed5c05b3a14c7f [diff] |
Revert "[openmp] No longer use LIBRARY_PATH to find devicertl" This reverts commit 7a228f872fbbefa6a6eba1d51da192761879fcca. Failing test case under CI GitOrigin-RevId: cef1199686475c0c63ba63ddb56f46bc7866fa3e