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