diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2024-12-23 02:15:31 -0500 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2024-12-23 02:15:31 -0500 |
| commit | 5173f55d57a944c4f6a3e018892fc1da55e15571 (patch) | |
| tree | 8c6b14d72566dc3883699b8fe9b5b1d8df949ad2 /Makefile | |
| parent | 35f0f1eaf6a99886075a6ee12cc8e0e178aa8308 (diff) | |
The prefix "lib" should not be included, per the documentation.
This was not caught in local tests as the fallback was always used
locally.
Patch courtesy of Guanbin Xu <xugb@mail.ustc.edu.cn>.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions