Searched full:is_ok (Results 1 – 1 of 1) sorted by relevance
130 IS_OK="true"132 IS_OK="false"136 IS_OK="false"139 if [ "$IS_OK" != "true" ]; then