diff options
| author | thorpej <thorpej@NetBSD.org> | 2002-09-14 16:56:10 +0000 |
|---|---|---|
| committer | thorpej <thorpej@NetBSD.org> | 2002-09-14 16:56:10 +0000 |
| commit | 4c81eb7f69a5abb031d71b3382624c5e92413244 (patch) | |
| tree | 3a00453391b6ffec44b7fa60c4aebd49e6d63405 /sys/dev/raidframe/rf_diskqueue.c | |
| parent | cb6a0e6be020d7aebbdc2b525a7bf8201fa68fdf (diff) | |
If DESTDIR is set, add ${DESTDIR}/usr/libdata to the lint library
search path. This works around the problem of lint using the
wrong lint libraries until a "lint -d ..." equivalent is implemented
for libraries.
Diffstat (limited to 'sys/dev/raidframe/rf_diskqueue.c')
0 files changed, 0 insertions, 0 deletions
