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