Lines Matching refs:allow_undefined
5102 # allow_undefined=no5109 allow_undefined=yes5112 allow_undefined=yes5695 allow_undefined=no7533 if test "$allow_undefined" = yes; then7982 if test "$allow_undefined" = no; then