Searched refs:libfile (Results 1 – 1 of 1) sorted by relevance
4715 libfile=$libdir/`$ECHO "$lib" | $SED 's%^.*/%%g'`4716 if test -n "$libdir" && test ! -f "$libfile"; then