Searched refs:save_libdir (Results 1 - 1 of 1) sorted by relevance
| /osnet-11/usr/src/grub/grub2/ | ||
| H A D | configure | 8068 save_libdir="$libdir" 8073 libdir="$save_libdir" 9134 save_libdir="$libdir" 9139 libdir="$save_libdir" [all...] |
Completed in 68 milliseconds