Searched refs:has_dev (Results 1 – 1 of 1) sorted by relevance
169 local has_dev=$FLAGS_TRUE has_norm=$FLAGS_TRUE177 grep -qw '[^!]DEV' || has_dev=$FLAGS_FALSE178 if [ "$has_norm" = "$FLAGS_FALSE" -a "$has_dev" = "$FLAGS_TRUE" ]; then