Searched refs:allow_undefined (Results 1 – 1 of 1) sorted by relevance
6555 allow_undefined=yes6558 allow_undefined=yes7168 allow_undefined=no9078 if test yes = "$allow_undefined"; then9530 if test no = "$allow_undefined"; then