Lines Matching refs:allow_undefined
1426 # allow_undefined=no1433 allow_undefined=yes1436 allow_undefined=yes2019 allow_undefined=no3725 if test "$allow_undefined" = yes; then4150 if test "$allow_undefined" = no; then