Lines Matching refs:allow_undefined
4042 # allow_undefined=no4049 allow_undefined=yes4052 allow_undefined=yes4616 allow_undefined=no6385 if test "$allow_undefined" = yes; then6821 if test "$allow_undefined" = no; then