if test -n "$psi_symbol_libflag"; then
if ! expr "X$LIBS" : "X.*\b$psi_symbol_libflag\b" >/dev/null; then
LIBS="$psi_symbol_libflag $LIBS"
fi
fi
if test -n "$psi_symbol_libflag"; then
if ! expr "X$LIBS" : "X.*\b$psi_symbol_libflag\b" >/dev/null; then
LIBS="$psi_symbol_libflag $LIBS"
fi
fi