Lines Matching full:configured
2019 # test to see if srcdir already configured
2022 { { echo "$as_me:$LINENO: error: source directory already configured; run \"make distclean\" there first" >&5
2023 echo "$as_me: error: source directory already configured; run \"make distclean\" there first" >&2;}
6369 configured by $0, generated by GNU Autoconf 2.61,
