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