Searched refs:OPTION_NO_STRIP (Results 1 – 1 of 1) sorted by relevance
59 --no-strip) OPTION_NO_STRIP=yes554 if [ "$OPTION_DEBUG" != "yes" -a "$OPTION_NO_STRIP" != "yes" ]; then