Lines Matching refs:allow_undefined
4542 # allow_undefined=no4549 allow_undefined=yes4552 allow_undefined=yes5116 allow_undefined=no6892 if test "$allow_undefined" = yes; then7328 if test "$allow_undefined" = no; then